Investigations of subsystems of second order arithmetic and set theory in strength between ^1_1-CA and ^1_2-CA+BI. I
From MaRDI portal
Publication:3081650
Recommendations
Cited in
(17)- Epsilon substitution for \(ID_1\) via cut-elimination
- Second order theories with ordinals and elementary comprehension
- Systems of explicit mathematics with non-constructive -operator. II
- Reverse mathematics and Peano categoricity
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
- Strong WQO Tree Theorems
- Thinning operators and \(\Pi_4\)-reflection
- scientific article; zbMATH DE number 4066876 (Why is no real title available?)
- scientific article; zbMATH DE number 193575 (Why is no real title available?)
- scientific article; zbMATH DE number 1215496 (Why is no real title available?)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion
- On the Performance of Axiom Systems
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension
- Locally hyperarithmetical induction
- On inverse Goodstein sequences
This page was built for publication: Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3081650)
