Pages that link to "Item:Q3960689"

The following pages link to Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions (Q3960689):

Displaying 3 items.

• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
• From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)