Effective descriptive set theory (nonfiction)

From Gnomon Chronicles
Revision as of 14:34, 17 October 2019 by Admin (talk | contribs)
Jump to navigation Jump to search

Effective descriptive set theory is the branch of descriptive set theory dealing with sets of real numbers having lightface definitions; that is, definitions that do not require an arbitrary real parameter (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory.

See also

  • Descriptive set theory (nonfiction) - the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces.
  • Real number (nonfiction) - a value of a continuous quantity that can represent a distance along a line. The adjective real in this context was introduced in the 17th century by René Descartes, who distinguished between real and imaginary roots of polynomials.
  • Set (nonfiction) - a well-defined collection of distinct objects, considered as an object in its own right.