The following pages link to (Q3809793):
Displaying 7 items.
- Proof-theoretic analysis of KPM (Q803124) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
