Undecidable Lt theories of topological abelian groups

DOI10.2307/2273225zbMath0482.03016MaRDI QIDQ3939789

Peter H. Schmitt, Gregory L. Cherlin

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273225

zbMATH Keywords

topological groups; hereditary undecidability; topological model theory; first order theory of topological abelian groups; Hausdorff topological abelian groups; locally pure Hausdorff topological abelian groups; saturated torsion-free locally pure topological abelian groups; torsion-free Hausdorff topological abelian groups

Mathematics Subject Classification ID

22A05: Structure of general topological groups

20A15: Applications of logic to group theory

03C99: Model theory

03B25: Decidability of theories and sets of sentences

20K20: Torsion-free groups, infinite rank

20K45: Topological methods for abelian groups

Related Items

Locally pure topological Abelian groups: Elementary invariants, Stability theory for topological logic, with applications to topological modules

Cites Work

• Proof of a lemma on model completeness
• The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations
• Theories of Abelian groups with predicates specifying a subgroup
• Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup
• Sentences Preserved between Equivalent Topological Bases
• A language for topological structures which satisfies a Lindström-theorem
• Infinitary logic and topological homeomorphisms
• Model theory of topological structures
• Elementary properties of ordered abelian groups
• The elementary theory of abelian groups