Undecidable <i>L<sup>t</sup></i> theories of topological abelian groups (Q3939789): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The elementary theory of abelian groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A language for topological structures which satisfies a Lindström-theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theories of Abelian groups with predicates specifying a subgroup / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sentences Preserved between Equivalent Topological Bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinitary logic and topological homeomorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof of a lemma on model completeness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary properties of ordered abelian groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory of topological structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup / rank
 
Normal rank

Latest revision as of 15:19, 13 June 2024

scientific article
Language Label Description Also known as
English
Undecidable <i>L<sup>t</sup></i> theories of topological abelian groups
scientific article

    Statements

    Undecidable <i>L<sup>t</sup></i> theories of topological abelian groups (English)
    0 references
    0 references
    1981
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    hereditary undecidability
    0 references
    torsion-free Hausdorff topological abelian groups
    0 references
    locally pure Hausdorff topological abelian groups
    0 references
    topological groups
    0 references
    topological model theory
    0 references
    first order theory of topological abelian groups
    0 references
    saturated torsion-free locally pure topological abelian groups
    0 references
    Hausdorff topological abelian groups
    0 references
    0 references
    0 references
    0 references