Category:Effective descriptive set theory

Computing portal

Here is a list of articles in the Effective descriptive set theory category of the Computing portal that unifies foundations of mathematics and computations using computers. 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.