First order topological structures and theories
From MaRDI portal
Publication:3764137
DOI10.2307/2274362zbMath0628.03022OpenAlexW4249738637MaRDI QIDQ3764137
Publication date: 1987
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274362
prime modeltopological model theorydefinable subsetTopological groupsfirst order topological structure
Models with special properties (saturated, rigid, etc.) (03C50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items
Expansions of o-minimal structures by dense independent sets ⋮ Extensions of ordered theories by generic predicates ⋮ On groups and fields definable in o-minimal structures ⋮ ONE DIMENSIONAL T.T.T STRUCTURES ⋮ On variants of \(o\)-minimality ⋮ Topological groups, \(\mu\)-types and their stabilizers ⋮ CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ On differential Galois groups of strongly normal extensions ⋮ Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space ⋮ Pregeometry over locally o‐minimal structures and dimension ⋮ Multiplicative structures and random walks in o-minimal groups ⋮ Topological differential fields ⋮ Dimensions, matroids, and dense pairs of first-order structures ⋮ Topological elementary equivalence of closed semi-algebraic sets in the real plane ⋮ Dependence on parameters in analogues of hilberts seventeenth problem ⋮ Expansions which introduce no new open sets ⋮ One-dimensional groups over an o-minimal structure ⋮ Groups of dimension two and three over o-minimal structures ⋮ Pairs of theories satisfying a Mordell–Lang condition ⋮ Topological differential fields and dimension functions ⋮ Open core and small groups in dense pairs of topological structures ⋮ \(p\)-convexly valued rings ⋮ Locally definable groups in o-minimal structures ⋮ Computable axiomatizability of elementary classes ⋮ Definable one-dimensional topologies in o-minimal structures ⋮ Directed sets and topological spaces definable in o‐minimal structures ⋮ Expressivity in polygonal, plane mereotopology ⋮ Topological fields with a generic derivation ⋮ Groups, group actions and fields definable in first-order topological structures
