scientific article; zbMATH DE number 4156432

zbMATH Open0705.03030MaRDI QIDQ3484829FDOQ3484829

Authors: Kostas Hatzikiriakou, Stephen G. Simpson 

Publication date: 1990

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

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

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)

Cited In (5)

• Reverse mathematics, Young diagrams, and the ascending chain condition
• Orders on computable rings
• Ordering groups constructively
• Title not available (Why is that?)
• 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)