– CA0 and order types of countable ordered groups

DOI10.2307/2694917zbMath0981.03060OpenAlexW4231591585MaRDI QIDQ2732274

D. Reed Solomon

Publication date: 1 August 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694917

zbMATH Keywords

ordered groupsreverse mathematicsorder types

Mathematics Subject Classification ID

Ordered groups (06F15) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Infinite dimensional proper subspaces of computable vector spaces

Cites Work

• Unnamed Item
• Degrees of orderings not isomorphic to recursive linear orderings
• Weak comparability of well orderings and reverse mathematics
• Countable algebra and set existence axioms
• Set theory. An introduction to independence proofs
• Ordered Groups: A Case Study in Reverse Mathematics
• Ordinal inequalities, transfinite induction, and reverse mathematics

This page was built for publication: – CA₀ and order types of countable ordered groups