Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

First-Order Frege Theory is Undecidable

Warren Goldfarb
Journal of Philosophical Logic
Vol. 30, No. 6 (Dec., 2001), pp. 613-616
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226741
Page Count: 4
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
First-Order Frege Theory is Undecidable
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[613]
    [613]
  • Thumbnail: Page 
614
    614
  • Thumbnail: Page 
615
    615
  • Thumbnail: Page 
616
    616