Maximal logics
HTML articles powered by AMS MathViewer
- by Joseph Sgro PDF
- Proc. Amer. Math. Soc. 63 (1977), 291-298 Request permission
Abstract:
In this paper we present a general method for producing logics on various classes of models which are maximal with respect to a Łoś ultraproducts theorem. As a corollary we show that ${\mathcal {L}^{{\text {Top}}}}$ is maximal. We also show that these maximal logics satisfy the Souslin-Kleene property.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, Back and forth through infinitary logic, Studies in model theory, MAA Studies in Math., Vol. 8, Math. Assoc. Amer., Buffalo, N.Y., 1973, pp. 5–34. MR 0342370
- Miroslav Benda, On reduced products and filters, Ann. Math. Logic 4 (1972), 1–29. MR 292656, DOI 10.1016/0003-4843(72)90010-1 C. C. Chang and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
- W. W. Comfort and S. Negrepontis, The theory of ultrafilters, Die Grundlehren der mathematischen Wissenschaften, Band 211, Springer-Verlag, New York-Heidelberg, 1974. MR 0396267 S. Garavaglia, Completeness for topological languages, Notices Amer. Math. Soc. 22 (1975), A-473. Abstract #75T-E36. —, Model theory of topological structures, Doctoral Dissertation, Yale Univ., New Haven, Ct., 1976. H. J. Keisler, Formulas with linearly ordered quantifiers. The syntax and semantics of infinitary languages, Springer-Verlag, Berlin and New York, 1969.
- Finn V. Jensen, Interpolation and definability in abstract logics, Synthese 27 (1974), 251–257. MR 505413, DOI 10.1007/BF00660898
- Per Lindström, On extensions of elementary logic, Theoria 35 (1969), 1–11. MR 244013, DOI 10.1111/j.1755-2567.1969.tb00356.x
- T. A. McKee, Infinitary logic and topological homeomorphisms, Z. Math. Logik Grundlagen Math. 21 (1975), no. 5, 405–408. MR 386996, DOI 10.1002/malq.19750210154
- 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 —, The decision problem for $L(I)$, the interior operator logic (in preparation).
Additional Information
- © Copyright 1977 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 63 (1977), 291-298
- MSC: Primary 02H10
- DOI: https://doi.org/10.1090/S0002-9939-1977-0491143-2
- MathSciNet review: 0491143