The following pages link to Introduction to \(\Pi^1_2\)-logic (Q2565874):
Displaying 16 items.
- Set recursion and \(\Pi ^ 1_ 2\)-logic (Q1063591) (← links)
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) (Q1101106) (← links)
- A topos-theorist looks at dilators (Q1121978) (← links)
- \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy (Q1262857) (← links)
- Functoroids and ptykoids (Q1345902) (← links)
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics (Q1407605) (← 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)
- (Q3800031) (← 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)
- Interpreting GPFCSP within the LΠ ½ logic framework (Q5252363) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
