The following pages link to (Q3964555):
Displaying 9 items.
- Set recursion and \(\Pi ^ 1_ 2\)-logic (Q1063591) (← links)
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) (Q1101106) (← links)
- Another extension of Van de Wiele's theorem (Q1102277) (← links)
- Boundedness theorems for dilators and ptykes (Q1177037) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (Q3220581) (← links)
- Natural well-orderings (Q3772212) (← links)
- (Q5376658) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)
