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

Authors
Warren Goldfarb
Harvard University
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
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1013362627445
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,864
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

What is Neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
Frege, Boolos, and Logical Objects.David J. Anderson & Edward N. Zalta - 2004 - Journal of Philosophical Logic 33 (1):1-26.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
71 ( #145,525 of 2,433,129 )

Recent downloads (6 months)
1 ( #463,753 of 2,433,129 )

How can I increase my downloads?

Downloads

My notes