[FOM] Kemeny

Martin Davis martin at eipye.com
Thu Apr 29 20:43:29 EDT 2004

Randall Holmes wrote of:

<< ... the construction one needs to do to prove
the consistency of bounded Zermelo set theory or the theory of types
in Zermelo set theory (which was first done by Kemeny in the 1950's
(?)  according to folklore).>>

Kemeny's Princeton dissertation in which he did this was submitted in 
1949.  (I remember the event well because it was a year before my 
dissertation.) The work was published (in the JSL I believe) a few years 
later under a title something like "Type Theory vs Set Theory".


More information about the FOM mailing list