Pages that link to "Item:Q527337"
From MaRDI portal
The following pages link to Reverse mathematics and order theoretic fixed point theorems (Q527337):
Displaying 14 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
- Fixed point theory in weak second-order arithmetic (Q922541) (← links)
- A theorem on refining division orders by the reverse lexicographic order (Q1099197) (← links)
- Reverse mathematics of separably closed sets (Q2580957) (← links)
- (Q4302475) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Two kinds of fixed point theorems and reverse mathematics (Q5108123) (← links)
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS (Q5251363) (← links)
- Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381) (← links)
- (Q5711881) (← links)
- A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC (Q5881259) (← links)
- Structure of semisimple rings in reverse and computable mathematics (Q6077944) (← links)