[FOM] second order ZFC

[Marcus Rossberg]

You might also be interested in Weston's papers, "The Continuum  
Hypothesis is independent of second-order ZF", Notre Dame Journal of  
Formal Logic 18 (1977), pp. 499-503; and "Kreisel, the continuum  
hypothesis and second-order set theory", Journal of Philosophical  
Logic 5 (1976), pp. 281--298.

Didn't Peter Koellner work on this?  Richard will know better than I.

Marcus


On 6 Mar 2008, at 18:46, rgheck wrote:

> 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