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

This page was built for publication: Topological model theory