No results for "Category:Effective descriptive set theory" (auto) in titles.

Suggestions for article titles:

1. Descriptive set theory: The branch of set theory whose subject is the study of sets in dependence of those operations by which these sets may be constructed from relatively simple sets (e.g. closed or open subsets of a given Euclidean, metric or ... (Mathematics) [100%] 2023-10-19
2. Effective descriptive set theory: 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 ... (Branch of mathematics) [86%] 2023-08-10 [Effective descriptive set theory]
3. Set theory: Set theory is a branch of mathematics dealing with collections of objects, called sets. It revolutionized mathematics and made possible enormous new insights. [75%] 2023-02-23 [Set Theory]
4. Set theory: Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly ... (Branch of mathematics that studies sets) [75%] 2024-01-04 [Set theory] [Mathematical logic]...
5. Set theory: Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory — as a branch of mathematics — is mostly ... (Branch of mathematics that studies sets) [75%] 2024-01-04 [Set theory] [Mathematical logic]...
6. Set theory: A set, in mathematics, is a collection of distinct entities, called its elements, considered as a whole. The early study of sets led to a family of paradoxes and apparent contradictions. [75%] 2023-07-06
7. Set theory: naive Set theory is the study of the properties of sets (cf. Set) by themselves, disregarding the properties of their elements. (Mathematics) [75%] 2023-12-17
8. Set Theory: Set theory is the mathematical theory of well-determined collections, called sets, of objects that are called members, or elements, of the set. Pure set theory deals exclusively with sets, so the only sets under consideration are those whose members ... (Philosophy) [75%] 2021-12-24
9. Set theory: The term "set" can be thought as a well-defined collection of objects. In set theory, These objects are often called "elements". [75%] 2024-01-04 [Set theory]
10. Set theory: naive Set theory is the study of the properties of sets (cf. Set) by themselves, disregarding the properties of their elements. (Mathematics) [75%] 2024-03-08
11. Descriptive complexity theory: Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of all complexity classes in ... (Branch of mathematical logic) [68%] 2024-01-21 [Descriptive complexity] [Computational complexity theory]...
12. Descriptive Decision Theory: Descriptive decision theory is concerned with characterising and explaining regularities in the choices that people are disposed to make. It is standardly distinguished from a parallel enterprise, normative decision theory, which seeks to provide an account of the choices that ... (Philosophy) [68%] 2021-12-24
13. Descriptive complexity theory: Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of all complexity classes in ... (Branch of mathematical logic) [68%] 2023-12-13 [Descriptive complexity] [Computational complexity theory]...
14. Descriptive complexity theory: Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of all complexity classes in ... (Branch of mathematical logic) [68%] 2023-12-13 [Descriptive complexity] [Computational complexity theory]...
15. General set theory: General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the ... (System of mathematical set theory) [61%] 2023-09-21 [Systems of set theory]
16. Finitist set theory: Finitist set theory (FST) is a collection theory designed for modeling finite nested structures of individuals and a variety of transitive and antitransitive chains of relations between individuals. Unlike classical set theories such as ZFC and KPU, FST is not ... [61%] 2023-09-23 [Set theory] [Constructivism (mathematics)]...
17. Named set theory: Named set theory is a branch of theoretical mathematics that studies the structures of names. The named set is a theoretical concept that generalizes the structure of a name described by Frege. [61%] 2023-12-20 [Set theory]
18. Constructive set theory: Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with " = {\displaystyle =} " and " ∈ {\displaystyle \in } " of classical set theory is usually used, so this is not to be ... (Axiomatic set theories based on the principles of mathematical constructivism) [61%] 2023-12-24 [Constructivism (mathematics)] [Intuitionism]...
19. Axiomatic set theory: The branch of mathematical logic in which one deals with fragments of the informal theory of sets by methods of mathematical logic. Usually, to this end, these fragments of set theory are formulated as a formal axiomatic theory. (Mathematics) [61%] 2024-01-04
20. Positive set theory: In mathematical logic, positive set theory is the name for a class of alternative set theories in which the axiom of comprehension holds for at least the positive formulas \displaystyle{ \phi }[/math] (the smallest class of formulas containing atomic membership ... (Class of alternative set theories) [61%] 2023-09-21 [Systems of set theory]