Solomon Feferman

Dissertation: Formal Consistency Proofs and Interpretability of Theories

Advisor 1

Name	Institution	Year	Students
K. Jon (Kenneth) Barwise	Stanford University	1967	12
Gianluigi Bellin	Stanford University	1990	1
Ulrik Torben Buchholtz	Stanford University	2013	0
Tim Fernando	Stanford University	1991	0
Joseph Arthur Harrison	Stanford University	1966	0
Tomohiro Hoshi	Stanford University	2009	0
Alan Holder Larson	Stanford University	1969	0
Ingrid Birgitta Lindström	Stanford University	1979	0
Paolo Mancosu	Stanford University	1989	6
Ian Alistair Mason	Stanford University	1986	1
Bienvenido Florendo Nebres	Stanford University	1970	1
Elena Pezzoli	Stanford University	1998	0
Darko Sarenac	Stanford University	2006	0
Masaru Shirahata	Stanford University	1994	0
Wilfried Sieg	Stanford University	1977	9
Carolyn L. Talcott	Stanford University	1985	2
Richard William Weyhrauch	Stanford University	1976	0
Jeffery Ian Zucker	Stanford University	1971	2

Genealogy