FOM: comprehension principle and Frege's V axiom

[Richard G. Heck, Jr.]

There is some nice discussion of the relationship between comprehension and 
Law V in some papers by Nino Cocchiarella. Check out "Cantor's Power-Set 
Theorem Versus Frege's Double-Correlation Thesis", History and Philosophy 
of Logic 13 (1992), 179-201. Another paper that deals with these issues is 
my "The Consistency of Predicative Fragments of Frege's Grundgesetze der 
Artithmetik", History and Philosophy of Logic 17 (1996), 209-20. A question 
raised there, whether the Delta-1-1 fragment is consistent, is answered in 
Kai Wehmeier, "Consistent Fragments of Grundgesetze and the Existence of 
Non-Logical Objects", Synthese 121 (1999), 309-28.

Richard

====================
Richard G. Heck Jr.
http://www.people.fas.harvard.edu/~heck