[FOM] second order ZFC

rgheck rgheck at brown.edu
Thu Mar 6 13:46:25 EST 2008


pax0 at seznam.cz wrote:
> Is anybody familiar with second order set theory ZFC to explain/point to a paper
> what language it uses, what axioms and models it has,give a typical theorem, or perhaps
> indicate its philosophical value.
>
>   
Well, one early place to look is George Boolos, "On Second-order Logic"
and "To Be Is To Be a Value of a Variable"; compare Charles Parsons,
"Sets and Classes". Probably the standard reference nowadays is Stewart
Shapiro's book.

rh




More information about the FOM mailing list