A small reflection principle for bounded arithmetic
From MaRDI portal
Recommendations
Cites work
- Cuts, consistency statements and interpretations
- scientific article; zbMATH DE number 42734 (Why is no real title available?)
- scientific article; zbMATH DE number 3999883 (Why is no real title available?)
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- Proof theory
- Self-reference and modal logic
- The computational complexity of logical theories
Cited in
(12)- A note on uniform density in weak arithmetical theories
- Uniform density in Lindenbaum algebras
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- No escape from Vardanyan's theorem
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
- scientific article; zbMATH DE number 1048040 (Why is no real title available?)
- scientific article; zbMATH DE number 1114029 (Why is no real title available?)
- Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
- Marginalia on a theorem of Woodin
- Notes on my scientific life
- Numeral completeness of weak theories of arithmetic
- Faith \& falsity
This page was built for publication: A small reflection principle for bounded arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4314671)
