Pages that link to "Item:Q634769"
From MaRDI portal
The following pages link to The maximal linear extension theorem in second order arithmetic (Q634769):
Displaying 8 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Reverse mathematics and initial intervals (Q386152) (← links)
- Computing maximal chains (Q453200) (← links)
- A computably enumerable partial ordering without computably enumerable maximal chains and antichains (Q1673673) (← links)
- Linear extensions of partial orders and reverse mathematics (Q3144869) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502) (← links)
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)
