Category: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.
Pages in category "Effective descriptive set theory"
The following 6 pages are in this category, out of 6 total. This list may not reflect recent changes.