On the proof of Frege's theorem

In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 143--59 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Die Grundlagen der Arithmetik §§82-83.Richard Heck & George Boolos - 1998 - In Matthias Schirn (ed.), The Philosophy of mathematics today. New York: Clarendon Press.
Diagrammatic reasoning in Frege’s Begriffsschrift.Danielle Macbeth - 2012 - Synthese 186 (1):289-314.
Frege on Indirect Proof.Ivan Welty - 2011 - History and Philosophy of Logic 32 (3):283-290.
Frege's Result: Frege's Theorem and Related Matters.Hirotoshi Tabata - 2012 - Frontiers of Philosophy in China 7 (3):351-366.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Frege's theorem and the peano postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
Gleason's theorem has a constructive proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
Tait's conservative extension theorem revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
Frege's proof of referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.
Kleene's proof of g¨odel's theorem.Peter Smith - unknown
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Some remarks on lengths of propositional proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.

Analytics

Added to PP
2014-01-26

Downloads
5 (#1,537,892)

6 months
1 (#1,467,486)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
Comparing Peano arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
Ramified Frege Arithmetic.Richard G. Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
On finite hume.Fraser Macbride - 2000 - Philosophia Mathematica 8 (2):150-159.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references