[FOM] Truth definitions

[Allen Hazen]

Mostowski wrote a book (in the north-Holland yellow "Studies in Logic"
series, title might have been "Constructible sets with applications" but I'm
not sure of my memory on that, publication date before 1970 and after the
early 1960s) in which M-K is used as the meta-system for investigating
systems like ZF.  Didn't know enough to understand what I was reading when I
tried to read it, and that was a LONG time ago, but I'd look there.

Allen Hazen
Free-lance philosopher (ex-University of Melbourne)


On 7/9/09 2:54 PM, "T.Forster at dpmms.cam.ac.uk" <T.Forster at dpmms.cam.ac.uk>
wrote:

> 
>    I promised one of my Ph.D. students that i would write out a tutorial on
> truth-definitions for him.  One example it would be nice to work through is
> a consistency proof of ZF in the impredicative class theory commonly known
> as Morse-Kelley.  It occurs to me that an idea that good must have been had
> before, and that there must be an elementary treatment in the literature
> somewhere.  Can listmembers point me at one?
> 
>                   tf
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom