Sy Friedman

Sy David Friedman ( * May 23, 1953 in Chicago) is an American mathematician who deals with mathematical logic and set theory.

Friedman studied at Northwestern University and in 1970 at the Massachusetts Institute of Technology (MIT ), where he received his doctorate in 1976 at Gerald E. Sacks ( Recursion on Ordinals Inadmissible ). From 1979, he was on the faculty of MIT, from 1990 onwards with a full professorship. Since 1999 he is professor of mathematical logic at the University of Vienna and director of the Kurt Gödel Research Center for Mathematical Logic.

He deals with recursion theory, axiomatic set theory (with connections to model theory ), descriptive set theory.

Sy Friedman is the brother of the mathematician Harvey Friedman.

Writings

  • Negative Solution to Post 's problem II, Annals of Mathematics, Bd.113, 1981, p.25 -43
  • Fine structure and class forcing, de Gruyter 2000 ( about Jensens Coding Method )
  • A guide to "Coding the Universe" by Beller, Jensen, Welch, Journal of Symbolic Logic Bd.50, 1985, S.1002 -1019
  • Genericity and large cardinals, Journal of Symbolic Logic, vol.5, 2005, p.149 -166
  • Internal consistency and the inner model hypothesis, Bull Symbolic Logic, Bd.12, 2006, S.591 -600
  • Large Cardinals and L -like universes, Quaderni di Matematica, Bd.17, 2007 p.93 -110
758634
de