scientific article; zbMATH DE number 4152374

zbMATH Open0703.03038MaRDI QIDQ3481699FDOQ3481699

Authors: Kostas Hatzikiriakou, Stephen G. Simpson 

Publication date: 1990

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

reverse mathematicsLevi's Theoremorderability of countable abelian groupsWeak König's Lemma

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Second- and higher-order arithmetic and fragments (03F35) Torsion-free groups, infinite rank (20K20) Applications of logic to group theory (20A15)

Cited In (8)

• Reverse mathematics and fully ordered groups
• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Whitehead's problem and reverse mathematics
• \(\Pi_{1}^{0}\) classes and orderable groups
• Structure of semisimple rings in reverse and computable mathematics
• Reverse mathematics, Young diagrams, and the ascending chain condition
• Ordering groups constructively
• Title not available (Why is that?)

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 Q3481699)