Topological model theory

DOI10.1007/BFb0097006zbMath0421.03024MaRDI QIDQ1132868

Martin Ziegler, Jörg Flum

Publication date: 1980

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

zbMATH Keywords

topological abelian groups; topological model theory

Mathematics Subject Classification ID

46A16: Not locally convex spaces (metrizable topological linear spaces, locally bounded spaces, quasi-Banach spaces, etc.)

03C99: Model theory

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

54A05: Topological spaces and generalizations (closure spaces, etc.)

54D10: Lower separation axioms ((T_0)--(T_3), etc.)

13J99: Topological rings and modules

22-02: Research exposition (monographs, survey articles) pertaining to topological groups

54-02: Research exposition (monographs, survey articles) pertaining to general topology

22A99: Topological and differentiable algebraic systems

12J99: Topological fields

Related Items

Interpolation in Logiken monotoner systeme, Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space, Further Generalizations of Results on Structures of Continuous Functions, Topological differential fields, Modal languages for topology: expressivity and definability, Locally pure topological Abelian groups: Elementary invariants, Elementary extensions of topological models in \(L_ t\) language, Hyperalgebraic primitive elements for relational algebraic and topological algebraic models, Sheaves of Metric Structures, Asymptotic Monadic Second-Order Logic, On the $n$-back-and-forth types of Boolean algebras, Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference, Topological model theory with an interior operator: Consistency properties and back — and forth arguments