Yiannis N. Moschovakis
{{Short description|American logician (born 1938)}}
{{Infobox scientist
| image = Yiannis Moschovakis.jpg
| caption = Moschovakis in 2005
| name = Yiannis N. Moschovakis
| birth_name = Yiannis Nicolas Moschovakis
| birth_date = {{birth date and age|1938|1|18}}
| birth_place = Athens, Greece
| death_date =
| death_place =
| residence =
| citizenship =
| nationality =
| ethnicity =
| field = Mathematics
| work_institutions = UCLA
| alma_mater = University of Wisconsin–Madison
| doctoral_advisor = Stephen Kleene
| doctoral_students = Alexander S. Kechris
Phokion G. Kolaitis
| known_for = Effective descriptive set theory
| author_abbrev_bot =
| author_abbrev_zoo =
| prizes =
| religion =
| signature =
| footnotes =
}}
Yiannis Nicolas Moschovakis ({{langx|el|Γιάννης Μοσχοβάκης}}; 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
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".{{citation|url=http://www.ams.org/profession/ams-fellows/new-fellows|title=2016 Class of the Fellows of the AMS|publisher=American Mathematical Society|access-date=2015-11-16}}.
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.{{cite web |url=http://flov.gu.se/english/research/logic/lindstrom-lectures |title=The Lindström Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden |website=flov.gu.se |url-status=dead |archive-url=https://web.archive.org/web/20131111073042/http://www.flov.gu.se/english/research/logic/lindstrom-lectures/ |archive-date=2013-11-11}}
Publications
- {{cite book|title=Elementary induction on abstract structures|year=1974|publisher=North-Holland}}{{cite journal|author=Barwise, K. Jon|author-link=Jon Barwise|title=Review: Elementary induction on abstract structures, by Y. Moschovakis|journal=Bull. Amer. Math. Soc.|year=1975|volume=81|issue=6|pages=1031–1035|url=http://www.ams.org/journals/bull/1975-81-06/S0002-9904-1975-13893-6/|doi=10.1090/s0002-9904-1975-13893-6|doi-access=free}} {{cite book|title=2nd edn|publisher=Dover|year=2008|isbn=9780486152011|url=https://books.google.com/books?id=WOBHLPItEasC}}
- {{cite book|title=Descriptive set theory|url=https://archive.org/details/descriptivesetth0000mosc|url-access=registration|year=1980|publisher=North-Holland|isbn=9780444853059}}{{cite journal|author=Jech, Thomas|author-link=Thomas Jech|title=Review: Descriptive set theory, by Y. Moschovakis|journal=Bull. Amer. Math. Soc. (N.S.)|year=1981|volume=5|issue=3|pages=339–349|url=http://www.ams.org/journals/bull/1981-05-03/S0273-0979-1981-14952-1/|doi=10.1090/s0273-0979-1981-14952-1|doi-access=free}} {{cite book|title=2nd edn|year=2005}} [https://www.math.ucla.edu/~ynm/books.htm Second edition available online]
- {{cite book|title=Notes on set theory|year=1994|publisher=North-Holland|isbn=9783540941804|url=https://books.google.com/books?id=ndx0_6VCypcC}} {{cite book|title=2nd edn|year=2005}}
References
{{reflist}}
External links
- [https://www.math.ucla.edu/~ynm/ Home page]
- {{MathGenealogy|id=8414}}
{{Authority control}}
{{DEFAULTSORT:Moschovakis, Yiannis N.}}
Category:20th-century American mathematicians
Category:Academic staff of the National and Kapodistrian University of Athens
Category:University of California, Los Angeles faculty