Continuous sentences preserved under reduced products

&
Journal of Symbolic Logic:1-33 (2020)
  Copy   BIBTEX

Abstract

Answering a question of Cifú Lopes, we give a syntactic characterization of those continuous sentences that are preserved under reduced products of metric structures. In fact, we settle this question in the wider context of general structures as introduced by the second author.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2020.28

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

E. Marczewski. Sur les congruences et les propriétés positives d'algèbres abstraites. Colloquium mathematicum, vol. 2 no. 3–4 , pp. 220–228. - Roger C. Lyndon. Properties preserved under homomorphism. Pacific journal of mathematics, vol. 9 , pp. 143–154. - Roger C. Lyndon. Properties preserved in subdirect products. Pacific journal of mathematics, vol. 9 , pp. 155–164. - R. C. Lyndon. Sentences preserved under homomorphisms; sentences preserved under subdirect products. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 122–124. - R. C. Lyndon. Properties preserved under algebraic constructions. Bulletin of the American Mathematical Society, vol. 65 , pp. 287–299. [REVIEW]Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):533-534.
A Note on Sentences Preserved under Direct Products and Powers.M. Machover - 1967 - Journal of Symbolic Logic 32 (4):533-533.
Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.
Review: M. Machover, A Note on Sentences Preserved under Direct Products and Powers. [REVIEW]J. Weinstein - 1967 - Journal of Symbolic Logic 32 (4):533-533.
Reduced Products, Horn Sentences, and Decision Problems.Fred Galvin - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Reduced Products and Horn Classes.H. Jerome Keisler - 1966 - Journal of Symbolic Logic 31 (3):507-507.
Machover M.. A note on sentences preserved under direct products and powers. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 519–523. [REVIEW]J. Weinstein - 1968 - Journal of Symbolic Logic 32 (4):533-533.
Review: Fred Galvin, Reduced Products, Horn Sentences, and Decision Problems. [REVIEW]Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Review: H. Jerome Keisler, Reduced Products and Horn Classes. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.
Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 , pp. 59–64. [REVIEW]Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (3):477.
Scattered sentences have few separable randomizations.Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler & David Marker - 2020 - Archive for Mathematical Logic 59 (5-6):743-754.
Sentences of type theory: The only sentences preserved under isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
Jerome Keisler H.. Reduced products and Horn classes. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 307–328. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.

Analytics

Added to PP
2020-09-07

Downloads
21 (#715,461)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.
Horn sentences.Fred Galvin - 1970 - Annals of Mathematical Logic 1 (4):389.

Add more references