Pages that link to "Item:Q4977220"
From MaRDI portal
The following pages link to REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220):
Displayed 5 items.
- On principles between ∑1- and ∑2-induction, and monotone enumerations (Q3186059) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension (Q5109219) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- Structure of semisimple rings in reverse and computable mathematics (Q6077944) (← links)