Undecidability of the Theory of Abelian Groups with a Subgroup

DOI10.2307/2041856zbMath0328.02032OpenAlexW4249391783MaRDI QIDQ4093433

Walter Baur

Publication date: 1976

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Abelian groups (20K99)

Related Items

Abelian \(C\)-minimal valued groups, Expanding varieties by monoids of endomorphisms, Unnamed Item, Undecidable theories of valuated abelian groups, Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability, A uniform method for proving lower bounds on the computational complexity of logical theories, Arithmetic of Dedekind cuts of ordered abelian groups, On pairs of free modules over a Dedekind domain, Model-theoretic and algorithmic questions in group theory

Cites Work

• ℵ₀-categorical modules
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Model-completions and modules
• Elementary properties of Abelian groups
• Unnamed Item