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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,733

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

George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 , pp. 76–78.Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519.
Boolos' nonconstructive proof of Gödel's theorem.Richard Vesley - unknown
Generalizing boolos’ theorem.Graham Leach-Krouse - 2017 - Review of Symbolic Logic 10 (1):80-91.
Gödel’s Second Incompleteness Theorem: How It is Derived and What It Delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.
‘Sometime a paradox’, now proof: Yablo is not first order.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (1):71-77.
On constructivity and the Rosser property: a closer look at some Gödelean proofs.Saeed Salehi & Payam Seraji - 2018 - Annals of Pure and Applied Logic 169 (10):971-980.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Mathematics as language.Adam Morton - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 213--227.
To err is humeant.Mark Wilson - 1999 - Philosophia Mathematica 7 (3):247-257.
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.

Analytics

Added to PP
2014-01-26

Downloads
5 (#1,746,642)

6 months
5 (#1,022,671)

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