区四届人大三次会议建议目录
Yiannis N. Moschovakis | |
|---|---|
 Moschovakis in 2005 | |
| Born | Yiannis Nicolas Moschovakis January 18, 1938 |
| Alma mater | University of Wisconsin–Madison |
| Known for | Effective descriptive set theory |
| Scientific career | |
| Fields | Mathematics |
| Institutions | UCLA |
| Doctoral advisor | Stephen Kleene |
| Doctoral students | Alexander S. Kechris Phokion G. Kolaitis |
Yiannis Nicolas Moschovakis (Greek: Γι?ννη? Μοσχοβ?κη?; born January 18, 1938) is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA.
His book Descriptive Set Theory (North-Holland) is the primary reference for the subject. He is especially associated with the development of the effective, or lightface, version of descriptive set theory, and he is known for the Moschovakis coding lemma that is named after him.
Biography
[edit]Moschovakis earned his Ph.D. from the University of Wisconsin–Madison in 1963 under the direction of Stephen Kleene, with a dissertation entitled Recursive Analysis. In 2015, he was elected as a fellow of the American Mathematical Society "for contributions to mathematical logic, especially set theory and computability theory, and for exposition".[1]
For many years, he has split his time between UCLA and the University of Athens (he retired from the latter in July 2005).
Moschovakis is married to Joan Moschovakis, with whom he gave the 2014 Lindstr?m Lectures at the University of Gothenburg.[2]
Publications
[edit]- Elementary induction on abstract structures. North-Holland. 1974.[3] 2nd edn. Dover. 2008. ISBN 9780486152011.
- Descriptive set theory. North-Holland. 1980. ISBN 9780444853059.[4] 2nd edn. 2005. Second edition available online
- Notes on set theory. North-Holland. 1994. ISBN 9783540941804. 2nd edn. 2005.
References
[edit]- ^ 2016 Class of the Fellows of the AMS, American Mathematical Society, retrieved 2025-08-14.
- ^ "The Lindstr?m Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden". flov.gu.se. Archived from the original on 2025-08-14.
- ^ Barwise, K. Jon (1975). "Review: Elementary induction on abstract structures, by Y. Moschovakis". Bull. Amer. Math. Soc. 81 (6): 1031–1035. doi:10.1090/s0002-9904-1975-13893-6.
- ^ Jech, Thomas (1981). "Review: Descriptive set theory, by Y. Moschovakis". Bull. Amer. Math. Soc. (N.S.). 5 (3): 339–349. doi:10.1090/s0273-0979-1981-14952-1.
