- Szemerédi’s theorem: An exploration of impurity, explanation, and content.Patrick J. Ryan - 2023 - Review of Symbolic Logic 16 (3):700-739.details
|
|
Poincaréan intuition revisited: what can we learn from Kant and Parsons?Margaret MacDougall - 2010 - Studies in History and Philosophy of Science Part A 41 (2):138-147.details
|
|
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Weyl and Two Kinds of Potential Domains.Laura Crosilla & Øystein Linnebo - forthcoming - Noûs.details
|
|
Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.details
|
|
Diversity in proof appraisal.Matthew Inglis & Andrew Aberdein - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 163-179.details
|
|
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.details
|
|
Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).details
|
|
Predicativity and Structuralism in Dedekind’s Construction of the Reals.Audrey Yap - 2009 - Erkenntnis 71 (2):157-173.details
|
|
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.details
|
|
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.details
|
|
Fragments of frege’s grundgesetze and gödel’s constructible universe.Sean Walsh - 2016 - Journal of Symbolic Logic 81 (2):605-628.details
|
|
The Axiom of Reducibility.Russell Wahl - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1).details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
Why Did Weyl Think That Emmy Noether Made Algebra the Eldorado of Axiomatics?Iulian D. Toader - 2021 - Hopos: The Journal of the International Society for the History of Philosophy of Science 11 (1):122-142.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
The non-constructive μ operator, fixed point theories with ordinals, and the bar rule.Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):305-324.details
|
|
Foundations for analysis and proof theory.Wilfried Sieg - 1984 - Synthese 60 (2):159 - 200.details
|
|
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.details
|
|
Representations and the Foundations of Mathematics.Sam Sanders - 2022 - Notre Dame Journal of Formal Logic 63 (1):1-28.details
|
|
Reply to Crispin Wright and Richard Zach.Ian Rumfitt - 2018 - Philosophical Studies 175 (8):2091-2103.details
|
|
On the Contemporary Practice of Philosophy of Mathematics.Colin Jakob Rittberg - 2019 - Acta Baltica Historiae Et Philosophiae Scientiarum 7 (1):5-26.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Recent advances in ordinal analysis: Π 21-CA and related systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468 - 485.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.details
|
|
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.details
|
|
x1. Aims.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.details
|
|
Pure proof theory aims, methods and results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.details
|
|
Pure Proof Theory. Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more. [REVIEW]Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.details
|
|
The liar paradox.Charles Parsons - 1974 - Journal of Philosophical Logic 3 (4):381 - 412.details
|
|
Substitutional quantification and mathematics. [REVIEW]Charles Parsons - 1982 - British Journal for the Philosophy of Science 33 (4):409-421.details
|
|
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.details
|
|
On the mathematical and foundational significance of the uncountable.Dag Normann & Sam Sanders - 2019 - Journal of Mathematical Logic 19 (1):1950001.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.details
|
|
Gaps, gluts, and theoretical equivalence.Carlo Nicolai - 2022 - Synthese 200 (5):1-22.details
|
|
Equivalences for truth predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.details
|
|
A marriage of brouwer’s intuitionism and hilbert’s finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - 2022 - Journal of Symbolic Logic 87 (2):437-497.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
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.details
|
|
WHAT CAN A CATEGORICITY THEOREM TELL US?Toby Meadows - 2013 - Review of Symbolic Logic (3):524-544.details
|
|
Representation, intentionality, and quantifiers.Timothy Mccarthy - 1984 - Synthese 60 (3):369 - 411.details
|
|
Taming the Indefinitely Extensible Definable Universe.L. Luna & W. Taylor - 2014 - Philosophia Mathematica 22 (2):198-208.details
|
|
Predicativism as a Form of Potentialism.Øystein Linnebo & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (1):1-32.details
|
|