Pages that link to "Item:Q1295406"
From MaRDI portal
The following pages link to Applications of cut-free infinitary derivations to generalized recursion theory (Q1295406):
Displaying 6 items.
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
- AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS (Q6123580) (← links)
