scientific article; zbMATH DE number 4156432

MaRDI QIDQ3484829zbMATH OpenFDO

Authors Kostas Hatzikiriakou, Stephen G. Simpson

Publication date 1990

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• Publication:3481699
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
• Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence)
• Ordered Groups: A Case Study in Reverse Mathematics
• scientific article; zbMATH DE number 2236630

Cited in

(5)

• Reverse mathematics, Young diagrams, and the ascending chain condition
• Orders on computable rings
• Ordering groups constructively
• scientific article; zbMATH DE number 4152374 (Why is no real title available?)
• Degrees of orders on torsion-free abelian groups

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3484829)