Effective descriptive set theory (nonfiction): Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
'''Effective descriptive set theory''' is the branch of [[Descriptive set theory (nonfiction)|descriptive set theory]] dealing with [[Set (nonfiction)|sets]] of | '''Effective descriptive set theory''' is the branch of [[Descriptive set theory (nonfiction)|descriptive set theory]] dealing with [[Set (nonfiction)|sets]] of [[Real number (nonfiction)|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 == | == See also == | ||
* [[Descriptive set theory (nonfiction)]] - the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces. | * [[Descriptive set theory (nonfiction)]] - the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces. | ||
* [[Set (nonfiction)]] - a well-defined collection of distinct objects, considered as an object in its own right. | * [[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 [[Mathematical object (nonfiction)|object]] in its own right. | |||
* [https://en.wikipedia.org/wiki/Effective_descriptive_set_theory Effective descriptive set theory] @ Wikipedia | * [https://en.wikipedia.org/wiki/Effective_descriptive_set_theory Effective descriptive set theory] @ Wikipedia |
Revision as of 14:34, 17 October 2019
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.
- Effective descriptive set theory @ Wikipedia