Pages that link to "Item:Q2640598"
From MaRDI portal
The following pages link to Algebraic disguises of \(\Sigma ^ 0_ 1\) induction (Q2640598):
Displayed 5 items.
- Groundwork for weak analysis (Q3149983) (← links)
- Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)