- The Strength of Truth-Theories.Richard Heck - manuscriptdetails
|
|
Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.details
|
|
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.details
|
|
Interpretability degrees of finitely axiomatized sequential theories.Albert Visser - 2014 - Archive for Mathematical Logic 53 (1-2):23-42.details
|
|
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.details
|
|
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.details
|
|
Frege's Principle.Richard Heck - 1995 - In Jaakko Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer Academic Publishers.details
|
|
Are There Absolutely Unsolvable Problems? Godel's Dichotomy.S. Feferman - 2006 - Philosophia Mathematica 14 (2):134-152.details
|
|
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.details
|
|
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.details
|
|
On the untenability of Nelson's predicativism.St Iwan - 2000 - Erkenntnis 53 (1-2):147-154.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
|
|
Standard Formalization.Jeffrey Ketland - 2022 - Axiomathes 32 (3):711-748.details
|
|
A Theory of Implicit Commitment for Mathematical Theories.Mateusz Łełyk & Carlo Nicolai - manuscriptdetails
|
|
CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Tanaka’s theorem revisited.Saeideh Bahrami - 2020 - Archive for Mathematical Logic 59 (7-8):865-877.details
|
|
Induction rules in bounded arithmetic.Emil Jeřábek - 2020 - Archive for Mathematical Logic 59 (3-4):461-501.details
|
|
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.details
|
|
A new proof of Ajtai’s completeness theorem for nonstandard finite structures.Michal Garlík - 2015 - Archive for Mathematical Logic 54 (3-4):413-424.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
|
|
Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.details
|
|
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.details
|
|
On two problems concerning end extensions.Ch Cornaros & C. Dimitracopoulos - 2008 - Archive for Mathematical Logic 47 (1):1-14.details
|
|
On Herbrand consistency in weak arithmetic.Zofia Adamowicz & Paweł Zbierski - 2001 - Archive for Mathematical Logic 40 (6):399-413.details
|
|
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.details
|
|
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.details
|
|
In Defense of the Implicit Commitment Thesis.Ethan Brauer - 2022 - Ergo: An Open Access Journal of Philosophy 9.details
|
|
Gaps, gluts, and theoretical equivalence.Carlo Nicolai - 2022 - Synthese 200 (5):1-22.details
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.details
|
|
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.Kentaro Sato - 2022 - Archive for Mathematical Logic 61 (3):399-435.details
|
|
Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2023 - Review of Symbolic Logic 16 (2):425-448.details
|
|
Hypatia's silence.Martin Fischer, Leon Horsten & Carlo Nicolai - 2021 - Noûs 55 (1):62-85.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
The Logical Strength of Compositional Principles.Richard Heck - 2018 - Notre Dame Journal of Formal Logic 59 (1):1-33.details
|
|
Interpretability suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
(1 other version)Eliminating definitions and Skolem functions in first-order logic.Jeremy Avigad - manuscriptdetails
|
|
Subrecursive degrees and fragments of Peano Arithmetic.Lars Kristiansen - 2001 - Archive for Mathematical Logic 40 (5):365-397.details
|
|
Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.details
|
|
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.details
|
|