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

Other Versions

reprint Goldbring, Isaac; Keisler, H. Jerome (2022) "Continuous sentences preserved under reduced products". Journal of Symbolic Logic 87(2):649-681

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,824

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

Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.
Review: H. Jerome Keisler, Reduced Products and Horn Classes. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.
A Note on Sentences Preserved under Direct Products and Powers.M. Machover - 1967 - Journal of Symbolic Logic 32 (4):533-533.
Reduced products of metric structures: A metric feferman–vaught theorem.Saeed Ghasemi - 2016 - Journal of Symbolic Logic 81 (3):856-875.
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.
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.
The isomorphism theorem for linear fragments of continuous logic.Seyed-Mohammad Bagheri - 2021 - Mathematical Logic Quarterly 67 (2):193-205.

Analytics

Added to PP
2020-09-07

Downloads
42 (#592,971)

6 months
7 (#613,993)

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

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