[FOM] Kemeny

[Martin Davis]

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".

Martin