Effective descriptive set theory (nonfiction): Difference between revisions
Jump to navigation
Jump to search
(Created page with "'''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 requir...") |
No edit summary |
||
| Line 1: | Line 1: | ||
'''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 (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory. | '''Effective descriptive set theory''' is the branch of [[Descriptive set theory (nonfiction)|descriptive set theory]] dealing with [[Set (nonfiction)|sets]] of reals 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. | |||
* [[Set (nonfiction)]] - a well-defined collection of distinct objects, considered as an 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 15:30, 17 October 2019
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 (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.
- Set (nonfiction) - a well-defined collection of distinct objects, considered as an object in its own right.
- Effective descriptive set theory @ Wikipedia