The following pages link to Introduction to \(\Pi^1_2\)-logic (Q2565874):
Displaying 9 items.
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) (Q1101106) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Derivatives of normal functions in reverse mathematics (Q2216034) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Natural well-orderings (Q3772212) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
