First-order Frege theory is undecidable

Journal of Philosophical Logic 30 (6):613-616 (2001)

Abstract

The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,743

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
80 (#148,316)

6 months
1 (#387,390)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

References found in this work

On the Consistency of the First-Order Portion of Frege's Logical System.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.

Add more references