A language for topological structures which satisfies a Lindström-theorem
HTML articles powered by AMS MathViewer
- by M. Ziegler PDF
- Bull. Amer. Math. Soc. 82 (1976), 568-570
References
-
1. S. Garavaglia, Completeness for topological languages, Notices Amer. Math. Soc. 22 (1975), p. A-473. Abstract # 75T-E36.
2. J. A. Makowsky, An extension of topological first order logic with a back and forth characterization of elementary equivalence, 1975 (preprint).
- 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
Additional Information
- Journal: Bull. Amer. Math. Soc. 82 (1976), 568-570
- MSC (1970): Primary 02B99, 02H99; Secondary 02G05, 54J05, 54D10
- DOI: https://doi.org/10.1090/S0002-9904-1976-14104-3
- MathSciNet review: 0416908