– CA0 and order types of countable ordered groups
From MaRDI portal
Publication:2732274
DOI10.2307/2694917zbMath0981.03060MaRDI QIDQ2732274
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
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