Category:Effective descriptive set theory
From HandWiki
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.
Pages in category "Effective descriptive set theory"
The following 6 pages are in this category, out of 6 total.
