The following pages link to (Q3081650):
Displaying 11 items.
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)
- (Q3800031) (← 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)
- Locally hyperarithmetical induction (Q6096755) (← links)
