Abstract
In this paper we define the relation ≺ t of elementary extension of topological models in the language L t and show a Back and Forth criterion for ≺ t . We introduce some new operations on partial homeomorphisms preserving Back and Forth properties. Some properties of ≺ t are proved by the Back and Forth technique.
Similar content being viewed by others
References
C. C. Chang and H. J. Kejsler, Model Theory, North-Holand, 1974.
J. Flum, First-order logic and its extensions, Lecture Notes in Mathematics 499, pp. 248–319, 1975.
J. Flum and M. Ziegler, Topological model theory, Lecture Notes in Mathematics 769, 1980.
T. A. Mc Kee, Sentences preserved between equivalent topological bases, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 22, pp. 79–84, 1976.
T. A. Mc Kee, Monadic characterisations in nonstandard topology, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 26, pp. 395–397, 1980.
T. A. Mc Kee, Infinitary logic and topological homeomorphisms, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 21, pp. 405–408, 1978.
M. Ziegler, A language for topological structures which satisfies a Lindström theorem, Bulletin of American Mathematical Society 82, pp. 568–570, 1976.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Majewski, M. Elementary extensions of topological models in L t language. Stud Logica 46, 255–264 (1987). https://doi.org/10.1007/BF00372550
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00372550