Undecidable theories of valuated abelian groups

DOI10.24033/msmf.313zbMath0555.20034OpenAlexW2585383212MaRDI QIDQ3218311

Peter H. Schmitt

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

zbMATH Keywords

hereditarily undecidablecountable valued p-valuated countable p-local torsion-free abelian groupsfinitely valued p-valuated groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Torsion-free groups, infinite rank (20K20) Direct sums, direct products, etc. for abelian groups (20K25) Models of other mathematical theories (03C65)

Related Items (3)

Abelian \(C\)-minimal valued groups ⋮ On cyclically ordered groups ⋮ Valued modules on skew polynomial rings and Bézout domains

Cites Work

• Theories of Abelian groups with predicates specifying a subgroup
• Valuated groups
• Undecidability of the Theory of Abelian Groups with a Subgroup
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Undecidable theories of valuated abelian groups