Reverse mathematics and fully ordered groups

DOI10.1305/ndjfl/1039293061zbMath0973.03076OpenAlexW4235027195MaRDI QIDQ5937813

D. Reed Solomon

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039293061

zbMATH Keywords

ordered groupscomputability theoryreverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ordered groups (06F15) Second- and higher-order arithmetic and fragments (03F35)

Related Items (11)

\(\Pi_{1}^{0}\) classes and orderable groups ⋮ The computable dimension of ordered abelian groups ⋮ Whitehead's problem and reverse mathematics ⋮ Reverse mathematics and semisimple rings ⋮ Primitive recursive reverse mathematics ⋮ Infinite dimensional proper subspaces of computable vector spaces ⋮ Structure of semisimple rings in reverse and computable mathematics ⋮ Spaces of orders and their Turing degree spectra ⋮ Orders on computable rings ⋮ The complexity of central series in nilpotent computable groups ⋮ Jump degrees of torsion-free abelian groups

Cites Work

• Countable algebra and set existence axioms
• Recursion theory and ordered groups
• The algorithmic theory of polycyclic-by-finite groups
• Relatively convex subgroups of orderable groups
• Note on ordered groups and rings
• A family of groups with a countable infinity of full orders
• ∏ 0 1 Classes and Degrees of Theories
• Über halbgeordnete Gruppen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reverse mathematics and fully ordered groups