Undecidability of the Theory of Abelian Groups with a Subgroup

DOI10.2307/2041856zbMATH Open0328.02032OpenAlexW4249391783MaRDI QIDQ4093433FDOQ4093433

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

• Title not available (Why is that?)
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Elementary properties of Abelian groups
• ℵ₀-categorical modules
• Model-completions and modules

Cited In (9)

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

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)