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