scientific article
From MaRDI portal
Publication:3481699
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 (4)
\(\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
This page was built for publication:
