Stability theory for topological logic, with applications to topological modules
Publication:3026986
DOI10.2307/2274029zbMath0625.03018OpenAlexW2047374891MaRDI 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 structureelimination of quantifiersstability theorytopological modulemonster modelfirst-order \(L^ *\)-structuresatisfaction set
Model-theoretic algebra (03C60) Model theory (03C99) Classification theory, stability, and related concepts in model theory (03C45) Topological and ordered rings and modules (16W80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Cites Work
- 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
- Unnamed Item
This page was built for publication: Stability theory for topological logic, with applications to topological modules