Publication:4101811
From MaRDI portal
zbMath0335.02032MaRDI QIDQ4101811
Publication date: 1975
Full work available at URL: http://www.numdam.org/item?id=CM_1975__31_1_23_0
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
20K99: Abelian groups
20A10: Metamathematical considerations in group theory
Related Items
Unnamed Item, Framed moduli spaces and tuples of operators, Model-theoretic and algorithmic questions in group theory, Expanding varieties by monoids of endomorphisms, Quiver gauge theories: finitude and trichotomoty
Cites Work