The following pages link to Variation on a theme of Schütte (Q4736753):
Displaying 6 items.
- The provably terminating operations of the subsystem PETJ of explicit mathematics (Q639690) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points (Q3410669) (← links)
