Abstract
The logicL(I) is introduced. Compactness and Löwenheim-Skolem theorems for topological models are proved. Several axiomatizations are given and proved to be complete. Interpolation- and preservation theorems are proved using consistency properties. A Back and Forth criterion for elementary equivalence is proved. Most of the results are extended (appropriately) to infinitary logic.
Similar content being viewed by others
References
Burger, Charlotte N.: Some remarks on countable topological spaces. Seminar-report, FU Berlin 1971.
Chang, C.C.: Modal model theory. Proceedings of the Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, Vol. 337, pp. 599–617. Berlin, Heidelberg, New York: Springer 1971.
Chang, C.C., Keisler, H.J.: Model theory, second ed. Amsterdam: North-Holland 1977.
Ehrenfeucht, A.: Application of games to the completeness problem for formalized theories. Fund. Math.49, 129–141 (1961).
Feferman, S., Vaught, R.: The first order properties of algebraic systems. Fund. Math.47, 57–103 (1959).
Garavaglia, S.: Model theory of topological structures. Ann. of Math. Logic14, 13–37 (1978).
Keisler, H.J.: Model theory for infinitary logic. Amsterdam: North-Holland 1971.
Keisler, H.J.: Logic with the quantifier “there exist uncountably many”. Ann. of Math. Logic1, 1–93 (1970).
Lindström, P.: First order logic and generalized quantifiers. Theoria32, 187–195 (1966).
Makowsky, J.A.: Topological model theory; a survey. Model theory and applications (Mangani, ed.). Rome 1975.
Makowsky, J.A.: A logic for topological structures with an interior operator. JSL42.1, 137 (1977).
Makowsky, J.A., Marcja, A.: Completeness theorems for modal model theory with the Montagne-Chang semantics. I. Z. Math. Logik u. Grundlagen d. MathematikR3, 97–104 (1977).
Makowsky, J.A., Marcja, A.: Problemi di decidibilità in logica topologica. Rend. d. sem. d. Univ. Padova (to appear).
Makowsky, J.A., Tulipani, S.: Some model theory for monotone quantifiers. Arch. Math. Logik18, 115–134 (1977).
McKee, T.: Inifinitary logic and topological homeomorphism. Z. Math. Logik u. Grundlagen d. Mathematik21, 405–408 (1975).
Robinson, A.: A note on topological model theory. Fund. Math.81.2, 159–171 (1974).
Sgro, J.: Completeness theorems for topological models. Ann. of Math. Logic11, 173–193 (1977).
Sgro, J.: Completeness theorems for continuous functions and product topologics. Isr. I. Math.25, 249–272 (1976).
Sgro, J.: The interior operator and product topologies. TAMS (to appear).
Sgro, J.: An application of topological model theory to Chang's modal logic (preprint).
Ziegler, M.: A language for topological structures which satisfies a Lindströms theorem. BAMS82, 568–570 (1976).
Flum, J., Ziegler, M.: Topological model theory. Lecture Notes in Mathematics, Vol. 769. Berlin, Heidelberg, New York: Springer 1980.
Ebbinghaus, H.-D., Ziegler, M.: Interpolation in Logiken monotoner Systeme. Arch. Math. Logik (to appear).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Makowsky, J.A., Ziegler, M. Topological model theory with an interior operator: Consistency properties and back — and forth arguments. Arch math Logik 21, 37–54 (1981). https://doi.org/10.1007/BF02011632
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011632