Undecidability of the Theory of Abelian Groups with a Subgroup

DOI10.2307/2041856MaRDI QIDQ4093433zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• Elementary properties of Abelian groups
• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• Model-completions and modules
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• ℵ₀-categorical modules

Cited in

(9)

• Model-theoretic and algorithmic questions in group theory
• Expanding varieties by monoids of endomorphisms
• Abelian C-minimal valued groups
• On pairs of free modules over a Dedekind domain
• Undecidable theories of valuated abelian groups
• scientific article; zbMATH DE number 2156368 (Why is no real title available?)
• 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

This page was built for publication: Undecidability of the Theory of Abelian Groups with a Subgroup

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4093433)