Pages that link to "Item:Q2732274"
From MaRDI portal
The following pages link to \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups (Q2732274):
Displaying 5 items.
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\) (Q490676) (← links)
- Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
- Reverse mathematics and fully ordered groups (Q5937813) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)