Stability theory for topological logic, with applications to topological modules
From MaRDI portal
Publication:3026986
DOI10.2307/2274029zbMath0625.03018MaRDI QIDQ3026986
Publication date: 1986
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274029
topological structure; elimination of quantifiers; stability theory; topological module; monster model; first-order \(L^ *\)-structure; satisfaction set
03C60: Model-theoretic algebra
03C99: Model theory
03C45: Classification theory, stability, and related concepts in model theory
16W80: Topological and ordered rings and modules
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Cites Work
- Unnamed Item
- Locally pure topological Abelian groups: Elementary invariants
- Fundamentals of forking
- Elimination of quantifiers for modules
- Undecidable Lt theories of topological abelian groups
- Sentences Preserved between Equivalent Topological Bases
- A language for topological structures which satisfies a Lindström-theorem
- Model theory of topological structures