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

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Hendrik BarendregtUniversiteit Utrecht197174
Michael BeesonStanford University1972
Richard PlatekStanford University19661
Jean-Pierre RessayreUniversité de Paris19678
Richard StatmanStanford University19742
Robert WinternitzStanford University1981

According to our current on-line database, Georg Kreisel has 6 students and 91 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.