Publication:3481699
From MaRDI portal
zbMath0703.03038MaRDI QIDQ3481699
Kostas Hatzikiriakou, Stephen G. Simpson
Publication date: 1990
20A15: Applications of logic to group theory
20K20: Torsion-free groups, infinite rank
03F35: Second- and higher-order arithmetic and fragments
06F20: Ordered abelian groups, Riesz groups, ordered linear spaces
Related Items
Reverse mathematics and fully ordered groups, Structure of semisimple rings in reverse and computable mathematics, \(\Pi_{1}^{0}\) classes and orderable groups, Algebraic disguises of \(\Sigma ^ 0_ 1\) induction