Pages that link to "Item:Q3144869"
From MaRDI portal
The following pages link to Linear extensions of partial orders and reverse mathematics (Q3144869):
Displaying 10 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Reverse mathematics and initial intervals (Q386152) (← links)
- Reverse mathematics and order theoretic fixed point theorems (Q527337) (← links)
- Infinite saturated orders (Q634735) (← links)
- Linear extensions of additive partial orders (Q1267606) (← links)
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings (Q1425651) (← links)
- On the teaching complexity of linear sets (Q1704564) (← links)
- The uniform content of partial and linear orders (Q2400498) (← links)
- Interval orders and reverse mathematics (Q2469435) (← links)
- Reduction games, provability and compactness (Q5055312) (← links)