Ultraproduct invariant logics

Joseph Sgro

Type: Article

Publication Date: 1980-08-01

Citations: 1

DOI: https://doi.org/10.1090/s0002-9939-1980-0572318-0

Abstract

In this paper we give a construction of logics via the property of being preserved from the models to their ultraproduct. Specific examples are given which include some cardinality quantifiers.

Locations

Proceedings of the American Mathematical Society - View - PDF

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Ultraproducts and Related Constructions	2022	Gábor Sági
+	Ultraproducts and Higher Order Formulas	2002	Gábor Sági
+	On topological properties of ultraproducts of finite sets	2004	Gábor Sági Saharon Shelah
+	Ultraproducts	1997
+	Cardinal invariants of ultrapoducts of Boolean algebras	1997	Andrzej Rosłanowski Saharon Shelah
+	Ultratopologies	2004	Gábor Sági J. Gerlits
+ PDF Chat	On topological properties of ultraproducts of finite sets	2005	Gábor Sági Saharon Shelah
+	Compactness properties of logics generated by monadic quantifiers and cardinalities of limit ultrapowers.	1985	Paolo Lipparini
+	Compactness in Infinitary Gödel Logics	2016	Juan P. Aguilera
+	Ultraproducts as a tool for first-order inexpressibility in the finite and infinite	2013	Philip Dittmann
+	Ultraproducts as a tool for first-order inexpressibility in the finite and infinite	2013	Philip Dittmann
+	A survey of some results in lattice-valued model theory	1988	S. Wang
+ PDF Chat	Minimally Generated Abstract Logics	2009	Steffen Lewitzka Andreas B. M. Brunner
+ PDF Chat	Characteristic Formulas Over Intermediate Logics	2018	Alex Citkin
+ PDF Chat	Applications of ultraproducts of pairs of cardinals to the theory of models	1962	C. C. Chang H. Jerome Keisler
+	Ultraproducts and Other Methods of Constructing Models	1967	C. C. Chang
+	Length of Boolean algebras and ultraproducts	1998	Menachem Magidor Saharon Shelah
+	Length of Boolean algebras and ultraproducts	1998	Menachem Magidor Saharon Shelah
+	The ultraproduct construction	2010	H. Jerome Keisler
+ PDF Chat	Cardinal invariants of ultraproducts of Boolean algebras	1998	Andrzej Rosłanowski Saharon Shelah

Works That Cite This (1)

Action	Title	Year	Authors
+	LOGICS FROM ULTRAFILTERS	2023	Daniele Mundici

Works Cited by This (4)

Action	Title	Year	Authors
+	δ-Logics and generalized quantifiers	1976	Johann A. Makowsky Saharon Shelah Jonathan Stavi
+	Completeness theorems for continuous functions and product topologies	1976	Joseph Sgro
+	Compact extensions of L(Q) (part 1a)	1977	Menachem Magidor Jerome Malitz
+	Stationary logic	1978	Jon Barwise Matt Kaufmann Michael Makkai