scientific article; zbMATH DE number 3523536

zbMath0335.02032MaRDI QIDQ4101811

Walter Baur

Publication date: 1975

Full work available at URL: http://www.numdam.org/item?id=CM_1975__31_1_23_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Abelian groups (20K99) Metamathematical considerations in group theory (20A10)

Related Items

Expanding varieties by monoids of endomorphisms, Unnamed Item, Framed moduli spaces and tuples of operators, Quiver gauge theories: finitude and trichotomoty, Model-theoretic and algorithmic questions in group theory

Cites Work

• Unnamed Item
• Unnamed Item
• Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup
• The first order properties of products of algebraic systems
• Subgroups of finitely presented groups