A language for topological structures which satisfies a Lindström-theorem

DOI10.1090/S0002-9904-1976-14104-3zbMath0338.02007MaRDI QIDQ4105651

Martin Ziegler

Publication date: 1976

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Model theory (03C99) Decidability of theories and sets of sentences (03B25) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Nonstandard topology (54J05)

Related Items (7)

Elementary extensions of topological models in \(L_ t\) language ⋮ Stability theory for topological logic, with applications to topological modules ⋮ Topological model theory with an interior operator: Consistency properties and back — and forth arguments ⋮ Interpolation in Logiken monotoner systeme ⋮ Locally pure topological Abelian groups: Elementary invariants ⋮ Undecidable L^t theories of topological abelian groups ⋮ Positive results in abstract model theory: a theory of compact logics

Cites Work

• Completeness theorems for topological models

This page was built for publication: A language for topological structures which satisfies a Lindström-theorem