Topological model theory

DOI10.1007/BFb0097006zbMath0421.03024OpenAlexW4298212971MaRDI QIDQ1132868

Martin Ziegler, Jörg Flum

Publication date: 1980

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0097006

zbMATH Keywords

topological abelian groupstopological model theory

Mathematics Subject Classification ID

Not locally convex spaces (metrizable topological linear spaces, locally bounded spaces, quasi-Banach spaces, etc.) (46A16) Model theory (03C99) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Topological spaces and generalizations (closure spaces, etc.) (54A05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Topological rings and modules (13J99) Research exposition (monographs, survey articles) pertaining to topological groups (22-02) Research exposition (monographs, survey articles) pertaining to general topology (54-02) Topological and differentiable algebraic systems (22A99) Topological fields (12J99)

Related Items

Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference, Hennessy-Milner and van Benthem for instantial neighbourhood logic, Elementary extensions of topological models in \(L_ t\) language, Asymptotic Monadic Second-Order Logic, The query topology in logic programming, Stone space partitions indexed by a poset, Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space, STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES, Topological differential fields, Further Generalizations of Results on Structures of Continuous Functions, Correspondence, canonicity, and model theory for monotonic modal logics, Directed sets and topological spaces definable in o‐minimal structures, Sheaves of Metric Structures, Modal languages for topology: expressivity and definability, Hyperalgebraic primitive elements for relational algebraic and topological algebraic models, Topological model theory with an interior operator: Consistency properties and back — and forth arguments, On the $n$-back-and-forth types of Boolean algebras, Interpolation in Logiken monotoner systeme, Locally pure topological Abelian groups: Elementary invariants