Yiannis N. Moschovakis
Encyclopedia
Yiannis Nicholas Moschovakis ' onMouseout='HidePop("79391")' href="/topics/Athens">Athens
, Greece
) is a set theorist
, descriptive set theorist
, and recursion (computability) theorist
, at UCLA. For many years he has split his time between UCLA and University of Athens . 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.
Moschovakis earned his Ph.D.
from University of Wisconsin–Madison
in 1963 under the direction of Stephen Kleene, with a dissertation entitled Recursive Analysis.
Athens
Athens , is the capital and largest city of Greece. Athens dominates the Attica region and is one of the world's oldest cities, as its recorded history spans around 3,400 years. Classical Athens was a powerful city-state...
, Greece
Greece
Greece , officially the Hellenic Republic , and historically Hellas or the Republic of Greece in English, is a country in southeastern Europe....
) is a set theorist
Set theory
Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...
, descriptive set theorist
Descriptive set theory
In mathematical logic, descriptive set theory is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces...
, and recursion (computability) theorist
Recursion theory
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability...
, at UCLA. For many years he has split his time between UCLA and University of Athens . His book Descriptive Set Theory (North-Holland) is the primary reference for the subject. He is especially associated with the development of the effective
Effective descriptive set theory
Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter. Thus effective descriptive set theory combines descriptive set theory with recursion theory....
, or lightface, version of descriptive set theory.
Moschovakis earned his Ph.D.
Ph.D.
A Ph.D. is a Doctor of Philosophy, an academic degree.Ph.D. may also refer to:* Ph.D. , a 1980s British group*Piled Higher and Deeper, a web comic strip*PhD: Phantasy Degree, a Korean comic series* PhD Docbook renderer, an XML renderer...
from University of Wisconsin–Madison
University of Wisconsin–Madison
The University of Wisconsin–Madison is a public research university located in Madison, Wisconsin, United States. Founded in 1848, UW–Madison is the flagship campus of the University of Wisconsin System. It became a land-grant institution in 1866...
in 1963 under the direction of Stephen Kleene, with a dissertation entitled Recursive Analysis.