Pages that link to "Item:Q5055281"
From MaRDI portal
The following pages link to Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281):
Displaying 5 items.
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
