- Klassinen matematiikka ja logiikka.Panu Raatikainen - 1996 - In Christoffer Gefwert (ed.), Logiikka, matematiikka ja tietokone – Perusteet: historiaa, filosofiaa ja sovelluksia. Finnish Artificial Intelligence Society.details
|
|
Finitary Set Theory.Laurence Kirby - 2009 - Notre Dame Journal of Formal Logic 50 (3):227-244.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
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Finitist Axiomatic Truth.Sato Kentaro & Jan Walker - 2023 - Journal of Symbolic Logic 88 (1):22-73.details
|
|
Breaking the Tie: Benacerraf’s Identification Argument Revisited.Arnon Avron & Balthasar Grabmayr - 2023 - Philosophia Mathematica 31 (1):81-103.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
|
|
Foundations of online structure theory.Nikolay Bazhenov, Rod Downey, Iskander Kalimullin & Alexander Melnikov - 2019 - Bulletin of Symbolic Logic 25 (2):141-181.details
|
|
Proof Theory as an Analysis of Impredicativity( New Developments in Logic: Proof-Theoretic Ordinals and Set-Theoretic Ordinals).Ryota Akiyoshi - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):93-107.details
|
|
Reverse mathematics, young diagrams, and the ascending chain condition.Kostas Hatzikiriakou & Stephen G. Simpson - 2017 - Journal of Symbolic Logic 82 (2):576-589.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
The Paradox of the Knower revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.details
|
|
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknowndetails
|
|
(2 other versions)Philosophy of mathematics.Jeremy Avigad - manuscriptdetails
|
|
Finite mathematics.Shaughan Lavine - 1995 - Synthese 103 (3):389 - 420.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details
|
|
The Bernays-Müller Debate.Günther Eder - 2023 - Hopos: The Journal of the International Society for the History of Philosophy of Science 13 (2):317-361.details
|
|
Axiomatizations of Peano Arithmetic: A Truth-Theoretic View.Ali Enayat & Mateusz Łełyk - 2023 - Journal of Symbolic Logic 88 (4):1526-1555.details
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.details
|
|
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
(1 other version)Mathematical Intuition and Natural Numbers: A Critical Discussion.Felix Mühlhölzer - 2010 - Erkenntnis 73 (2):265-292.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Intuiting the infinite.Robin Jeshion - 2014 - Philosophical Studies 171 (2):327-349.details
|
|
Things that can and things that cannot be done in PRA.Ulrich Kohlenbach - 2000 - Annals of Pure and Applied Logic 102 (3):223-245.details
|
|
A hierarchy of hereditarily finite sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.details
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
(1 other version)On Mathematical Instrumentalism.Patrick Caldon & Aleksandar Ignjatović - 2005 - Journal of Symbolic Logic 70 (3):778 - 794.details
|
|
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.details
|
|
Hilbert versus Hindman.Jeffry L. Hirst - 2012 - Archive for Mathematical Logic 51 (1-2):123-125.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Tolerance and metalanguages in carnap'slogical syntax of language.David Devidi & Graham Solomon - 1995 - Synthese 103 (1):123 - 139.details
|
|
A Simple Proof of Parsons' Theorem.Fernando Ferreira - 2005 - Notre Dame Journal of Formal Logic 46 (1):83-91.details
|
|
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.details
|
|
Logic, ontology, mathematical practice.Stewart Shapiro - 1989 - Synthese 79 (1):13 - 50.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Transfer and a Supremum Principle for ERNA.Chris Impens & Sam Sanders - 2008 - Journal of Symbolic Logic 73 (2):689 - 710.details
|
|
Phenomenology and mathematical knowledge.Richard Tieszen - 1988 - Synthese 75 (3):373 - 403.details
|
|
Intuitionism: An introduction to a seminar. [REVIEW]Charles McCarty - 1983 - Journal of Philosophical Logic 12 (2):105 - 149.details
|
|
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
|
|
Representations and the Foundations of Mathematics.Sam Sanders - 2022 - Notre Dame Journal of Formal Logic 63 (1):1-28.details
|
|
Splittings and Disjunctions in Reverse Mathematics.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (1):51-74.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
|
|
On Reflection.Leon Horsten - 2021 - Philosophical Quarterly 71 (4):pqaa083.details
|
|
La constitución del programa de Hilbert.Max Fernández de Castro & Yolanda Torres Falcón - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):31--50.details
|
|
Kilka uwag o tezie Churcha i aksjomacie Hilberta.Adam Olszewski - 2006 - Zagadnienia Filozoficzne W Nauce 38.details
|
|