Ultraproduct invariant logics

Sgro, J.

doi:10.1090/S0002-9939-1980-0572318-0

Ultraproduct invariant logics
HTML articles powered by AMS MathViewer

by J. Sgro PDF

Proc. Amer. Math. Soc. 79 (1980), 635-638 Request permission

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.

References

K. Jon Barwise, Axioms for abstract model theory, Ann. Math. Logic 7 (1974), 221–265. MR 376337, DOI 10.1016/0003-4843(74)90016-3
Jon Barwise, Matt Kaufmann, and Michael Makkai, Stationary logic, Ann. Math. Logic 13 (1978), no. 2, 171–224. MR 486629, DOI 10.1016/0003-4843(78)90003-7
Kim B. Bruce, Ideal models and some not so ideal problems in the model theory of $L(Q)$, J. Symbolic Logic 43 (1978), no. 2, 304–321. MR 499380, DOI 10.2307/2272829

Model theory

H. Jerome Keisler, Logic with the quantifier “there exist uncountably many”, Ann. Math. Logic 1 (1970), 1–93. MR 263616, DOI 10.1016/S0003-4843(70)80005-5
J. A. Makowsky, Saharon Shelah, and Jonathan Stavi, $\Delta$-logics and generalized quantifiers, Ann. Math. Logic 10 (1976), no. 2, 155–192. MR 457146, DOI 10.1016/0003-4843(76)90021-8
Menachem Magidor and Jerome Malitz, Compact extensions of $L(Q)$. Ia, Ann. Math. Logic 11 (1977), no. 2, 217–261. MR 453484, DOI 10.1016/0003-4843(77)90019-5

25

Joseph Sgro, Completeness theorems for topological models, Ann. Math. Logic 11 (1977), no. 2, 173–193. MR 462913, DOI 10.1016/0003-4843(77)90016-X
Joseph Sgro, Completeness theorems for continuous functions and product topologies, Israel J. Math. 25 (1976), no. 3-4, 249–272. MR 539984, DOI 10.1007/BF02757004
Joseph Sgro, Maximal logics, Proc. Amer. Math. Soc. 63 (1977), no. 2, 291–298. MR 491143, DOI 10.1090/S0002-9939-1977-0491143-2
Joseph Sgro, The interior operator logic and product topologies, Trans. Amer. Math. Soc. 258 (1980), no. 1, 99–111. MR 554321, DOI 10.1090/S0002-9947-1980-0554321-4