- Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
An Incompleteness Theorem Via Ordinal Analysis.James Walsh - 2024 - Journal of Symbolic Logic 89 (1):80-96.details
|
|
Predicativity through transfinite reflection.Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten & Francisco Félix Lara-martín - 2017 - Journal of Symbolic Logic 82 (3):787-808.details
|
|
Proof systems for BAT consequence relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.details
|
|
Fragments of Arithmetic and true sentences.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2005 - Mathematical Logic Quarterly 51 (3):313-328.details
|
|
(1 other version)Induction rules, reflection principles, and provably recursive functions.Lev D. Beklemishev - 1997 - Annals of Pure and Applied Logic 85 (3):193-242.details
|
|
Isomorphisms of Diagonalizable Algebras.V. Yu Shavrukov - 1997 - Theoria 63 (3):210-221.details
|
|
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.details
|
|
(1 other version)Some results on cut-elimination, provable well-orderings, induction and reflection.Toshiyasu Arai - 1998 - Annals of Pure and Applied Logic 95 (1-3):93-184.details
|
|
Axiomatization of provable n-provability.Evgeny Kolmakov & Lev Beklemishev - 2019 - Journal of Symbolic Logic 84 (2):849-869.details
|
|
Envelopes, indicators and conservativeness.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2006 - Mathematical Logic Quarterly 52 (1):51-70.details
|
|
On Shavrukov’s Non-Isomorphism Theorem for Diagonalizable Algebras.Evgeny A. Kolmakov - 2024 - Review of Symbolic Logic 17 (1):206-243.details
|
|
On the Optimality of Conservation Results for Local Reflection in Arithmetic.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2013 - Journal of Symbolic Logic 78 (4):1025-1035.details
|
|
Induction, minimization and collection for Δ n+1 (T)–formulas.A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (4):505-541.details
|
|
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.details
|
|
Subrecursive degrees and fragments of Peano Arithmetic.Lars Kristiansen - 2001 - Archive for Mathematical Logic 40 (5):365-397.details
|
|
A note on fragments of uniform reflection in second order arithmetic.Emanuele Frittaion - 2022 - Bulletin of Symbolic Logic 28 (3):451-465.details
|
|
Induction rules in bounded arithmetic.Emil Jeřábek - 2020 - Archive for Mathematical Logic 59 (3-4):461-501.details
|
|
Honest elementary degrees and degrees of relative provability without the cupping property.Paul Shafer - 2017 - Annals of Pure and Applied Logic 168 (5):1017-1031.details
|
|
(1 other version)Interpretability in.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.details
|
|
(1 other version)The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\mathrm{I}\Sigma_1$.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.details
|
|
On axiom schemes for T-provably $${\Delta_{1}}$$ Δ 1 formulas.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2014 - Archive for Mathematical Logic 53 (3):327-349.details
|
|
(1 other version)Interpretability in PRA.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.details
|
|
Local induction and provably total computable functions.Andrés Cordón-Franco & F. Félix Lara-Martín - 2014 - Annals of Pure and Applied Logic 165 (9):1429-1444.details
|
|
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.details
|
|
On the quantifier complexity of Δ n+1 (T)– induction.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (3):371-398.details
|
|
On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.details
|
|
Consistency statements and iterations of computable functions in IΣ1 and PRA.Joost J. Joosten - 2010 - Archive for Mathematical Logic 49 (7-8):773-798.details
|
|