- An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.details
|
|
An ordinal analysis of stability.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (1):1-62.details
|
|
(1 other version)On Mathematical Instrumentalism.Patrick Caldon & Aleksandar Ignjatović - 2005 - Journal of Symbolic Logic 70 (3):778 - 794.details
|
|
Derivability conditions on Rosser's provability predicates.Toshiyasu Arai - 1990 - Notre Dame Journal of Formal Logic 31 (4):487-497.details
|
|
How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 77--93.details
|
|
Frege and the philosophy of mathematics.Michael D. Resnik - 1980 - Ithaca, N.Y.: Cornell University Press.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Remarks on finitism.William Tait - manuscriptdetails
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
(1 other version)Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.details
|
|
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.details
|
|
(1 other version)Hermann WEYL.[author unknown] - 1957 - Revue Philosophique de la France Et de l'Etranger 147:133-133.details
|
|
Hilbert's axiomatic method and the laws of thought.Michael Hallett - 1994 - In Alexander George (ed.), Mathematics and mind. New York: Oxford University Press. pp. 158--200.details
|
|
A mathematical incompleteness in Peano arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 90--1133.details
|
|
Experimental Logics and Δ₂⁰-Theories.R. G. Jeroslow - 1975 - Journal of Philosophical Logic 4 (3):253 - 267.details
|
|
The Russellian influence on Hilbert and his school.Paolo Mancosu - 2003 - Synthese 137 (1-2):59 - 101.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.details
|
|
Frege and the Philosophy of Mathematics.Michael Hallett - 1984 - Philosophical Quarterly 34 (136):425-428.details
|
|
Hilbert and Bernays on Metamathematics.P. Mancosu - 1998 - In ¸ Itemancosu1998. Oxford University Press. pp. 149--188.details
|
|
(1 other version)Subsystems of set theory and second order number theory.Wolfram Pohlers - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 137--209.details
|
|
Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.Solomon Feferman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455.details
|
|
The Frege-Hilbert controversy.Michael David Resnik - 1974 - Philosophy and Phenomenological Research 34 (3):386-403.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscriptdetails
|
|
What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.details
|
|
Finitism and intuitive knowledge.Charles Parsons - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 249--270.details
|
|
(4 other versions)Epsilon substitution method for ID1.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 121 (2-3):163-208.details
|
|
Philip Kitcher.Philip Kitcher - unknowndetails
|
|
Peano's smart children: a provability logical study of systems with built-in consistency.Albert Visser - 1989 - Notre Dame Journal of Formal Logic 30 (2):161-196.details
|
|
(1 other version)Gödel's Functional Interpretation.Jeremy Avigad & Solomon Feferman - 2000 - Bulletin of Symbolic Logic 6 (4):469-470.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
(1 other version)A variant to Hilbert's theory of the foundations of arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.details
|
|
Hilbert and the emergence of modern mathematical logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
(1 other version)Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
On interpreting Gödel's second theorem.Michael Detlefsen - 1979 - Journal of Philosophical Logic 8 (1):297 - 313.details
|
|
(1 other version)Subsystems of Set Theory and Second-Order Number Theory.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.details
|
|
(1 other version)On mathematical instrumentalism.Patrick Caldon & Aleksandar Ignjatović - 2005 - Journal of Symbolic Logic 70 (3):778-794.details
|
|
Recherches Sur la Th”Eorie de la D”Emonstration.J. Herbrand - 1930 - Dissertation, Universit’e de Parisdetails
|
|
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.details
|
|