- Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Truth and speed-up.Martin Fischer - 2014 - Review of Symbolic Logic 7 (2):319-340.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
|
|
On predicate provability logics and binumerations of fragments of Peano arithmetic.Taishi Kurahashi - 2013 - Archive for Mathematical Logic 52 (7-8):871-880.details
|
|
Isomorphisms of Diagonalizable Algebras.V. Yu Shavrukov - 1997 - Theoria 63 (3):210-221.details
|
|
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.Dan E. Willard - 2006 - Journal of Symbolic Logic 71 (4):1189-1199.details
|
|
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.details
|
|
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q.Dan E. Willard - 2002 - Journal of Symbolic Logic 67 (1):465-496.details
|
|
On the relationship between ATR 0 and.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768-779.details
|
|
Syntactical truth predicates for second order arithmetic.Loïc Colson & Serge Grigorieff - 2001 - Journal of Symbolic Logic 66 (1):225-256.details
|
|
McCall’s Gödelian Argument is Invalid.Panu Raatikainen - 2002 - Facta Philosophica 4 (1):167-69.details
|
|
Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.details
|
|
Truth‐value relations and logical relations.Lloyd Humberstone - 2023 - Theoria 89 (1):124-147.details
|
|
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.details
|
|
The Function of Truth and the Conservativeness Argument.Kentaro Fujimoto - 2022 - Mind 131 (521):129-157.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
Gödel’s second incompleteness theorem: How it is derived and what it delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.details
|
|
Randomness notions and reverse mathematics.André Nies & Paul Shafer - 2020 - Journal of Symbolic Logic 85 (1):271-299.details
|
|
A remark on pseudo proof systems and hard instances of the satisfiability problem.Jan Maly & Moritz Müller - 2018 - Mathematical Logic Quarterly 64 (6):418-428.details
|
|
Strict Finitism, Feasibility, and the Sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.details
|
|
Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension.Florian Pelupessy - 2018 - Mathematical Logic Quarterly 64 (3):178-182.details
|
|
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.Petr Glivický & Vítězslav Kala - 2017 - Mathematical Logic Quarterly 63 (3-4):162-174.details
|
|
Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.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
|
|
Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.details
|
|
Short propositional refutations for dense random 3CNF formulas.Sebastian Müller & Iddo Tzameret - 2014 - Annals of Pure and Applied Logic 165 (12):1864-1918.details
|
|
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.details
|
|
Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.details
|
|
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.details
|
|
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.details
|
|
Extracting Algorithms from Intuitionistic Proofs.Fernando Ferreira & António Marques - 1998 - Mathematical Logic Quarterly 44 (2):143-160.details
|
|
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.details
|
|
A model-theoretic approach to ordinal analysis.Jeremy Avigad & Richard Sommer - 1997 - Bulletin of Symbolic Logic 3 (1):17-52.details
|
|
Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.details
|
|
Bounded finite set theory.Laurence Kirby - 2021 - Mathematical Logic Quarterly 67 (2):149-163.details
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.details
|
|
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.details
|
|
Iterated multiplication in $$ VTC ^0$$.Emil Jeřábek - forthcoming - Archive for Mathematical Logic.details
|
|
On Guaspari's problem about partially conservative sentences.Taishi Kurahashi, Yuya Okawa, V. Yu Shavrukov & Albert Visser - 2022 - Annals of Pure and Applied Logic 173 (5):103087.details
|
|
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.details
|
|
On the Invariance of Gödel’s Second Theorem with Regard to Numberings.Balthasar Grabmayr - 2021 - Review of Symbolic Logic 14 (1):51-84.details
|
|
Reflection ranks and ordinal analysis.Fedor Pakhomov & James Walsh - 2021 - Journal of Symbolic Logic 86 (4):1350-1384.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
On partial disjunction properties of theories containing Peano arithmetic.Taishi Kurahashi - 2018 - Archive for Mathematical Logic 57 (7-8):953-980.details
|
|
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.details
|
|
Construction of models of bounded arithmetic by restricted reduced powers.Michal Garlík - 2016 - Archive for Mathematical Logic 55 (5-6):625-648.details
|
|
Interpretability suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.details
|
|