Positive logics
Tóm tắt
Lindström’s Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious extension of first order logic with the two model theoretic properties mentioned, namely existential second order logic. We show that existential second order logic has a whole family of proper extensions satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. Furthermore, we show that in the context of negation-less logics, positive logics, as we call them, there is no strongest extension of first order logic with the Compactness Theorem and the Downward Löwenheim-Skolem Theorem.
Tài liệu tham khảo
Barwise, J., Feferman, S. (eds.): Model-theoretic logics. Perspect. Math. Log. Springer, Berlin (1985)
Barwise, J., Schlipf, J.: An introduction to recursively saturated and resplendent models. J. Symbolic Logic 41(2), 531–536 (1976)
Ben Yaacov, I., Berenstein, A., Ward Henson, C., Usvyatsov, A.: Model theory for metric structures. In: Model theory with applications to algebra and analysis. Vol. 2, volume 350 of London Math. Soc. Lecture Note Ser., pp. 315–427. Cambridge Univ. Press, Cambridge (2008)
Ben Yaacov, I., Poizat, B.: Fondements de la logique positive. J. Symbolic Logic 72(4), 1141–1162 (2007)
Chang, C.C., Keisler, H.J.: Model theory, volume 73 Studies in Logic and the Foundations of Mathematics, 3rd edn. North-Holland Publishing Co., Amsterdam (1990)
Ebbinghaus, H.-D.: Extended logics: the general framework. In: Model-theoretic logics, Perspect. Math. Logic, pp. 25–76. Springer, New York (1985)
García-Matos, M., Väänänen, J.: Abstract model theory as a framework for universal logic. In: Logica universalis, pp. 19–33. Birkhäuser, Basel (2005)
Hyttinen, T.: Games and infinitary languages. Ann. Acad. Sci. Fenn. Ser. A I Math. Dissertationes (64):32 (1987)
Lindström, P.: First order predicate logic with generalized quantifiers. Theoria 32, 186–195 (1966)
Lindström, P.: On extensions of elementary logic. Theoria 35, 1–11 (1969)
Mann, A.L., Sandu, G., Sevenster, M.: Independence-friendly logic, volume 386 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2011). A game-theoretic approach
Shelah, S.: Classification theory and the number of nonisomorphic models, volume 92 of Studies in Logic and the Foundations of Mathematics, 2nd edn. North-Holland Publishing Co., Amsterdam (1990)
Shelah, S.: Every two elementarily equivalent models have isomorphic ultrapowers. Israel J. Math. 10, 224–233 (1971)
Shelah, S., Väänänen, J.: A note on extensions of infinitary logic. Arch. Math. Logic 44(1), 63–69 (2005)
Väänänen, J.: Dependence logic, volume 70 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge (2007). (A new approach to independence friendly logic)