Similarities between Axiom of real determinacy and List of mathematical logic topics
Axiom of real determinacy and List of mathematical logic topics have 9 things in common (in Unionpedia): AD+, Axiom of choice, Axiom of determinacy, Axiom of projective determinacy, Consistency, Large cardinal, Ordinal number, Set theory, Uniformization (set theory).
AD+
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy.
AD+ and Axiom of real determinacy · AD+ and List of mathematical logic topics ·
Axiom of choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.
Axiom of choice and Axiom of real determinacy · Axiom of choice and List of mathematical logic topics ·
Axiom of determinacy
In mathematics, the axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962.
Axiom of determinacy and Axiom of real determinacy · Axiom of determinacy and List of mathematical logic topics ·
Axiom of projective determinacy
In mathematical logic, projective determinacy is the special case of the axiom of determinacy applying only to projective sets.
Axiom of projective determinacy and Axiom of real determinacy · Axiom of projective determinacy and List of mathematical logic topics ·
Consistency
In classical deductive logic, a consistent theory is one that does not contain a contradiction.
Axiom of real determinacy and Consistency · Consistency and List of mathematical logic topics ·
Large cardinal
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers.
Axiom of real determinacy and Large cardinal · Large cardinal and List of mathematical logic topics ·
Ordinal number
In set theory, an ordinal number, or ordinal, is one generalization of the concept of a natural number that is used to describe a way to arrange a collection of objects in order, one after another.
Axiom of real determinacy and Ordinal number · List of mathematical logic topics and Ordinal number ·
Set theory
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
Axiom of real determinacy and Set theory · List of mathematical logic topics and Set theory ·
Uniformization (set theory)
In set theory, the axiom of uniformization, a weak form of the axiom of choice, states that if R is a subset of X\times Y, where X and Y are Polish spaces, then there is a subset f of R that is a partial function from X to Y, and whose domain (in the sense of the set of all x such that f(x) exists) equals Such a function is called a uniformizing function for R, or a uniformization of R. To see the relationship with the axiom of choice, observe that R can be thought of as associating, to each element of X, a subset of Y. A uniformization of R then picks exactly one element from each such subset, whenever the subset is nonempty.
Axiom of real determinacy and Uniformization (set theory) · List of mathematical logic topics and Uniformization (set theory) ·
The list above answers the following questions
- What Axiom of real determinacy and List of mathematical logic topics have in common
- What are the similarities between Axiom of real determinacy and List of mathematical logic topics
Axiom of real determinacy and List of mathematical logic topics Comparison
Axiom of real determinacy has 16 relations, while List of mathematical logic topics has 354. As they have in common 9, the Jaccard index is 2.43% = 9 / (16 + 354).
References
This article shows the relationship between Axiom of real determinacy and List of mathematical logic topics. To access each article from which the information was extracted, please visit: