The following pages link to Variation on a theme of Schütte (Q4736753):
Displaying 11 items.
- The provably terminating operations of the subsystem PETJ of explicit mathematics (Q639690) (← links)
- On the cutting of garments -- variation about a theme of Tchebychev (Q648501) (← links)
- Schubert induction (Q863627) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- Proof-theoretic strengths of the well-ordering principles (Q2309489) (← 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)
- Continuing Variations on a System of Gentzen (Q3718687) (← links)