Sy Friedman

from Wikipedia, the free encyclopedia
Sy David Friedman in July 2007

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

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

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 .

Friedman (left), Hugh Woodin , Menachem Magidor (right), Oberwolfach 2005

Fonts

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

Web links