Category:Effective descriptive set theory

From HandWiki
Jump to: navigation, search

Handwiki book24.pngComputing 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.

Pages in category "Effective descriptive set theory"

The following 6 pages are in this category, out of 6 total.