A language for topological structures which satisfies a Lindström-theorem
From MaRDI portal
Publication:4105651
DOI10.1090/S0002-9904-1976-14104-3zbMath0338.02007MaRDI QIDQ4105651
Publication date: 1976
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
03C99: Model theory
03B25: Decidability of theories and sets of sentences
54D10: Lower separation axioms ((T_0)--(T_3), etc.)
54J05: Nonstandard topology
Related Items
Interpolation in Logiken monotoner systeme, Positive results in abstract model theory: a theory of compact logics, Locally pure topological Abelian groups: Elementary invariants, 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, Undecidable Lt theories of topological abelian groups
Cites Work