You are not currently logged in.
Access JSTOR through your library or other institution:
First-Order Frege Theory is Undecidable
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
Preview not available
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.
Journal of Philosophical Logic © 2001 Springer