scientific article

zbMath0705.03030MaRDI QIDQ3484829

Stephen G. Simpson, Kostas Hatzikiriakou

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reverse mathematicstorsion-freeWeak König's LemmaLevi's Theorem for countable abelian groups

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items

Degrees of orders on torsion-free abelian groups ⋮ Orders on computable rings