Pages that link to "Item:Q386152"
From MaRDI portal
The following pages link to Reverse mathematics and initial intervals (Q386152):
Displaying 9 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Infinite saturated orders (Q634735) (← links)
- Interval orders and reverse mathematics (Q2469435) (← links)
- Necessary use of induction in a reversal (Q3011120) (← links)
- Linear extensions of partial orders and reverse mathematics (Q3144869) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Forward analysis for WSTS. III: Karp-Miller trees (Q5114831) (← links)
- Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644) (← links)
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)