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