Ultraproduct invariant logics
HTML articles powered by AMS MathViewer
- by J. Sgro
- Proc. Amer. Math. Soc. 79 (1980), 635-638
- DOI: https://doi.org/10.1090/S0002-9939-1980-0572318-0
- PDF | 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 C. C. Chang and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
- 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 J. Malitz and M. Rubin, Notices Amer. Math. Soc. 25 (1978), Abstracts 78T-E51, p. A-442, 78T-E52, p. A-443 and 78T-E53, p. A-443.
- 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
Bibliographic Information
- © Copyright 1980 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 79 (1980), 635-638
- MSC: Primary 03C20; Secondary 03C95
- DOI: https://doi.org/10.1090/S0002-9939-1980-0572318-0
- MathSciNet review: 572318