Sy Friedman
Template:Short description Script error: No such module "Template wrapper".Script error: No such module "Check for conflicting parameters".
Sy-David Friedman (born May 23, 1953, in Chicago) is an American and Austrian mathematician and a (retired) professor of mathematics at the University of Vienna and the former director of the Kurt Gödel Research Center for Mathematical Logic. His main research interest lies in mathematical logic, in particular in set theory and recursion theory.
Friedman is the brother of Ilene Friedman and the brother of mathematician Harvey Friedman.
Biography
He studied at Northwestern University and, from 1970, at the Massachusetts Institute of Technology. He received his Ph.D. in 1976 from MIT (his thesis Recursion on Inadmissible Ordinals was written under the supervision of Gerald E. Sacks).
In 1979, Sy Friedman accepted a position at MIT, and in 1990 he became a full professor there. Since 1999, he has been a professor of mathematical logic at the University of Vienna, and he retired in 2018.[1] He is a Fellow of Collegium Invisibile.[2]
Selected publications and results
He has authored about 70 research articles, including:
- Page Module:Citation/CS1/styles.css has no content.Friedman, Sy D. (1981). "Negative solutions to Post's problem. II". Annals of Mathematics. Second Series. 113 (1): 25–43. doi:10.2307/1971132. JSTOR 1971132.
- Page Module:Citation/CS1/styles.css has no content.Friedman, Sy (1985). "A guide to "Coding the Universe" by Beller, Jensen, Welch". Journal of Symbolic Logic. 50 (4): 1002–1019. doi:10.2307/2273986. JSTOR 2273986.
- Page Module:Citation/CS1/styles.css has no content.Friedman, Sy D. (1990). "The -singleton conjecture". J. Amer. Math. Soc. 3 (4): 771–791. doi:10.1090/S0894-0347-1990-1071116-6.
- Page Module:Citation/CS1/styles.css has no content.Friedman, Sy D (2005). "Genericity and large cardinals". J. Math. Log. 5 (2): 149–166. CiteSeerX 10.1.1.23.9437. doi:10.1142/S0219061305000420.
He also published a research monograph
- Page Module:Citation/CS1/styles.css has no content.Friedman, Sy D. (2000). Fine structure and class forcing. de Gruyter Series in Logic and its Applications. Vol. 3. Berlin: Walter de Gruyter & Co. ISBN 978-3-11-016777-1.
References
Page Template:Reflist/styles.css has no content.
- ^ Page Module:Citation/CS1/styles.css has no content."News archive". Key Research Area Logic. University of Vienna. Archived from the original on 2024-05-15.
- ^ Page Module:Citation/CS1/styles.css has no content."List of Fellows". ci.edu.pl. Retrieved 10 May 2012.
External links
Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.
