This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. Bankston: Topological Ultraproducts, Ph. D. Thesis, Univ. of Wisconsin (1976)
J. Barwise: Admissible sets and structures, Berlin (1975)
C.C. Chang-H.J. Keisler: Model theory, Amsterdam (1974)
S. Feferman: Persistent and invariant formulas for outer extensions, Comp. Math. 20 (1966), pp. 29–52
S. Feferman-R.L. Vaught: The first-order properties of algebraic systems, Fund. Math. 47 (1959), pp. 57–103
J. Flum: First-order logic and its extensions, in: Logic Conference, Kiel, Lecture Notes in Math. 499, 248–310
S. Garavaglia: Completeness for topological structures, Notices AMS, 75T-E36 (1975)
S. Garavaglia: A topological ultrapower theorem, Notices AMS, 75T-E79 (1975)
S. Garavaglia: Model theory of topological structures, Annals of Math. Logic 14 (1978), pp. 13–37
M. Makkai: Admissible sets and infinitary logic, in: Handbook of mathematical logic, Amsterdam (1977), 233–281
J.A. Makowsky-M. Ziegler: A language for topological structures with an interior operator, Archiv für math. Logik (to appear)
T.A. McKee: Infinitary logic and topological homeomorphisms, Zeitschrift für math. Logik und Grundl. der Math. 21 (1975), 405–408
T.A. McKee: Sentences preserved between equivalent topological bases, Zeitschrift für math. Logik und Grundl. der Math. 22 (1976), 79–84
J.S. Schlipf: Toward model theory through recursive saturation, Journ. of Symb. Logic 43 (1978), 183–206
J. Strobel: Lindström-Sätze in Sprachen für monotone Strukturen. Diplomarbeit, TU Berlin (1978)
S. Williard: General topology, Reading, (1970)
M. Ziegler: A language for topological structures which satisfies a Lindström theorem, Bull. Amer. Math. Soc. 82 (1976), 568–570
Rights and permissions
Copyright information
© 1980 Springer-Verlag
About this chapter
Cite this chapter
Flum, J., Ziegler, M. (1980). Part I. In: Topological Model Theory. Lecture Notes in Mathematics, vol 769. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0097007
Download citation
DOI: https://doi.org/10.1007/BFb0097007
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09732-7
Online ISBN: 978-3-540-38544-8
eBook Packages: Springer Book Archive