The following pages link to (Q3481699):
Displayed 4 items.
- \(\Pi_{1}^{0}\) classes and orderable groups (Q1612488) (← links)
- Algebraic disguises of \(\Sigma ^ 0_ 1\) induction (Q2640598) (← links)
- Reverse mathematics and fully ordered groups (Q5937813) (← links)
- Structure of semisimple rings in reverse and computable mathematics (Q6077944) (← links)