Georg Kreisel

Biography MathSciNet

Ph.D. Uniwersytet Warszawski 1974 Poland
Dissertation: Formally self-referential propositions for cut free classical analysis and related systems
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Unknown

Click here to see the students listed in chronological order.

Hendrik BarendregtUniversiteit Utrecht197175
Michael BeesonStanford University1972
Richard PlatekStanford University19661
Jean-Pierre RessayreUniversité de Paris19679
Richard StatmanStanford University19742
Robert WinternitzStanford University1981

According to our current on-line database, Georg Kreisel has 6 students and 93 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 20180 for the advisor ID.