The following pages link to Beweistheorie vonKPN (Q3880843):
Displaying 16 items.
- Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- The strength of admissibility without foundation (Q3710526) (← links)
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
