The following pages link to (Q3140643):
Displaying 4 items.
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Ordinal notations and well-orderings in bounded arithmetic (Q1861331) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)