[FOM] Kreiseliana: Kreisel's Doctorate

[Marion, Mathieu]

Didn't he study in Cambridge with Besicovitch? Still, 1962 would seem a
late date as he was a student during the war. The information on the
Mathematics Genealogy Project page seems odd at first sight, since the
title of his dissertation, "Formally self-referential propositions for cut
free classical analysis and related systems", is the same as a paper he
co-authored with Takeuti, published in Dissertationes mathematicae, a.k.a.
Rozprawy matematyczne.

Mathieu Marion

Le 15-06-13 4:20 PM, « Matthew Szudzik » <mszudzik at szudzik.com> a écrit :

>As long as we're on the topic of Kreiseliana, I'd like to ask the
>following question:
>
>On page xiii of Kreiseliana, it is stated that Kreisel received his
>doctorate (in particular, a Sc.D.) from Trinity College, Cambridge in
>1962.  But the Mathematics Genealogy Project
>
> http://genealogy.math.ndsu.nodak.edu/id.php?id=20180
>
>claims that Kreisel's doctorate was a Ph.D. from the University of
>Warsaw in 1974.  Are both of these claims correct?  Who was Kreisel's
>advisor?
>
>Matthew Szudzik
>
>
>On Sat, Jun 13, 2015 at 12:23:36PM -0700, Robert Solovay wrote:
>> I just wanted to thank the FOM community for their overwhelming
>> response (mostly off line) to my requet for help getting access to the
>> book Kreiseliana. My wishes in this matter are now sated and no
>> further assistance is needed.
>> 
>> Sincerely yours,
>> 
>> Bob Solovay
>> _______________________________________________
>> FOM mailing list
>> FOM at cs.nyu.edu
>> http://www.cs.nyu.edu/mailman/listinfo/fom
>> 
>_______________________________________________
>FOM mailing list
>FOM at cs.nyu.edu
>http://www.cs.nyu.edu/mailman/listinfo/fom