Undecidable theories of valuated abelian groups
From MaRDI portal
Publication:3218311
DOI10.24033/msmf.313zbMath0555.20034MaRDI QIDQ3218311
Publication date: 1984
Published in: Mémoires de la Société mathématique de France (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=MSMF_1984_2_16__67_0
hereditarily undecidable; countable valued p-valuated countable p-local torsion-free abelian groups; finitely valued p-valuated groups
20A15: Applications of logic to group theory
20K20: Torsion-free groups, infinite rank
20K25: Direct sums, direct products, etc. for abelian groups
03C65: Models of other mathematical theories
Related Items
Cites Work