Pages that link to "Item:Q1063591"
From MaRDI portal
The following pages link to Set recursion and \(\Pi ^ 1_ 2\)-logic (Q1063591):
Displaying 9 items.
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) (Q1101106) (← links)
- Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) (Q1121880) (← links)
- Functorial bounds for cut elimination inL βω . I (Q3222838) (← links)
- Embeddability of ptykes (Q4032649) (← links)
- Large cardinals and large dilators (Q4254695) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)
