In mathematical logic, descriptive set theory (DST) is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces...

Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions...

computability theory overlaps with proof theory and effective descriptive set theory. Basic questions addressed by computability theory include: What...

In mathematical logic and descriptive set theory, the analytical hierarchy is an extension of the arithmetical hierarchy. The analytical hierarchy of formulas...

set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory. The central focus of hyperarithmetic theory...

determinacy and large cardinals. The field of effective descriptive set theory is between set theory and recursion theory. It includes the study of lightface pointclasses...

effective descriptive set theory. They are also used in the application of recursion theory to other branches of mathematics (Cenzer 1999, p. 39). The set 2<ω...

especially associated with the development of the effective, or lightface, version of descriptive set theory, and he is known for the Moschovakis coding lemma...

hierarchy is important in computability theory, effective descriptive set theory, and the study of formal theories such as Peano arithmetic. The Tarski–Kuratowski...

In the mathematical field of descriptive set theory, a pointclass can be called adequate if it contains all recursive pointsets and is closed under recursive...

the effective Borel hierarchypp.163--164) is an effective version of the boldface Borel hierarchy. It is important in effective descriptive set theory and...

effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive set theory...

Arithmetical hierarchy Computable set Computable number Hartley Rogers Jr. (1967). Theory of recursive functions and effective computability. McGraw-Hill. OCLC 527706...

statistical methods to economic data. Effective descriptive set theory a branch of descriptive set theory dealing with set of real numbers that have lightface...

In the mathematical field of descriptive set theory, a subset A {\displaystyle A} of a Polish space X {\displaystyle X} is projective if it is Σ n 1 {\displaystyle...

In descriptive set theory, a lightface analytic game is a game whose payoff set A is a Σ 1 1 {\displaystyle \Sigma _{1}^{1}} subset of Baire space; that...

definability. In these areas, recursion theory overlaps with proof theory and effective descriptive set theory. Hilbert's tenth problem Hilbert's tenth...

In the mathematical field of descriptive set theory, a pointclass is a collection of sets of points, where a point is ordinarily understood to be an element...

Simple theorems in the algebra of sets Subset Θ (set theory) Tree (descriptive set theory) Tree (set theory) Union (set theory) Von Neumann universe Zero sharp...

definability. In these areas, recursion theory overlaps with proof theory and effective descriptive set theory. computation Any type of calculation that...

one-way functions exist. Berry paradox Code golf Data compression Descriptive complexity theory Grammar induction Inductive reasoning Kolmogorov structure function...

Appendix:Glossary of set theory in Wiktionary, the free dictionary. This is a glossary of terms and definitions related to the topic of set theory. Contents: ...

chromatic intensity. Rather than adopt a more effective set of primary colors, proponents of split-primary theory explain this lack of chroma by the purported...

into compact convex sets, which became a standard method in game theory and mathematical economics. His paper was followed by Theory of Games and Economic...

information retrieval problem from communication complexity, and in descriptive complexity theory to formulate logical descriptions of complexity classes. The...

Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic...

distinguishing characteristic of theories is that they are explanatory as well as descriptive, while models are only descriptive (although still predictive...

systems) to help people make better decisions. In contrast, descriptive decision theory is concerned with describing observed behaviors often under the...

The theory of multiple intelligences (MI) posits that human intelligence is not a single general ability but comprises various distinct modalities, such...

philosophy of effective altruism, an altruistic act such as charitable giving is considered more effective, or cost-effective, if it uses a set of resources...