The Moschovakis coding lemma is a result in mathematical logic, particularly in the area of recursion theory and effective descriptive set theory. It is named after Yiannis N. Moschovakis, who made significant contributions to these fields. The lemma is concerned with the concept of **coding sets of natural numbers** using **recursive (or computable) functions**.
Articles by others on the same topic
There are currently no matching articles.