Continuous sentences preserved under reduced products

&
Journal of Symbolic Logic 87 (2):649-681 (2022)
  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: 93,590

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

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

Analytics

Added to PP
2022-06-15

Downloads
12 (#317,170)

6 months
8 (#1,326,708)

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