27 relations: AD+, Analytic set, Axiom of choice, Axiom of dependent choice, Axiom of determinacy, Axiom of real determinacy, Binary relation, Borel set, Constructible universe, Elementary equivalence, Forcing (mathematics), Inner model, Large cardinal, Lebesgue measure, Ordinal number, Perfect set property, Projective hierarchy, Property of Baire, Real number, Set theory, Transitive set, Uniformization (set theory), Universally measurable set, Von Neumann universe, Wadge hierarchy, Zermelo–Fraenkel set theory, Zero sharp.
AD+
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy.
New!!: L(R) and AD+ · See more »
Analytic set
In descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a Polish space.
New!!: L(R) and Analytic set · See more »
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.
New!!: L(R) and Axiom of choice · See more »
Axiom of dependent choice
In mathematics, the axiom of dependent choice, denoted by \mathsf, is a weak form of the axiom of choice (\mathsf) that is still sufficient to develop most of real analysis.
New!!: L(R) and Axiom of dependent choice · See more »
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.
New!!: L(R) and Axiom of determinacy · See more »
Axiom of real determinacy
In mathematics, the axiom of real determinacy (abbreviated as ADR) is an axiom in set theory.
New!!: L(R) and Axiom of real determinacy · See more »
Binary relation
In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.
New!!: L(R) and Binary relation · See more »
Borel set
In mathematics, a Borel set is any set in a topological space that can be formed from open sets (or, equivalently, from closed sets) through the operations of countable union, countable intersection, and relative complement.
New!!: L(R) and Borel set · See more »
Constructible universe
In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets.
New!!: L(R) and Constructible universe · See more »
Elementary equivalence
In model theory, a branch of mathematical logic, two structures M and N of the same signature σ are called elementarily equivalent if they satisfy the same first-order σ-sentences.
New!!: L(R) and Elementary equivalence · See more »
Forcing (mathematics)
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results.
New!!: L(R) and Forcing (mathematics) · See more »
Inner model
In set theory, a branch of mathematical logic, an inner model for a theory T is a substructure of a model M of a set theory that is both a model for T and contains all the ordinals of M.
New!!: L(R) and Inner model · See more »
Large cardinal
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers.
New!!: L(R) and Large cardinal · See more »
Lebesgue measure
In measure theory, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of n-dimensional Euclidean space.
New!!: L(R) and Lebesgue measure · See more »
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.
New!!: L(R) and Ordinal number · See more »
Perfect set property
In descriptive set theory, a subset of a Polish space has the perfect set property if it is either countable or has a nonempty perfect subset (Kechris 1995, p. 150).
New!!: L(R) and Perfect set property · See more »
Projective hierarchy
In the mathematical field of descriptive set theory, a subset A of a Polish space X is projective if it is \boldsymbol^1_n for some positive integer n. Here A is.
New!!: L(R) and Projective hierarchy · See more »
Property of Baire
A subset A of a topological space X has the property of Baire (Baire property, named after René-Louis Baire), or is called an almost open set, if it differs from an open set by a meager set; that is, if there is an open set U\subseteq X such that A \bigtriangleup U is meager (where \bigtriangleup denotes the symmetric difference).
New!!: L(R) and Property of Baire · See more »
Real number
In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.
New!!: L(R) and Real number · See more »
Set theory
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
New!!: L(R) and Set theory · See more »
Transitive set
In set theory, a set A is called transitive if either of the following equivalent conditions hold.
New!!: L(R) and Transitive set · See more »
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.
New!!: L(R) and Uniformization (set theory) · See more »
Universally measurable set
In mathematics, a subset A of a Polish space X is universally measurable if it is measurable with respect to every complete probability measure on X that measures all Borel subsets of X. In particular, a universally measurable set of reals is necessarily Lebesgue measurable (see #Finiteness condition below).
New!!: L(R) and Universally measurable set · See more »
Von Neumann universe
In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class of hereditary well-founded sets.
New!!: L(R) and Von Neumann universe · See more »
Wadge hierarchy
In descriptive set theory, Wadge degrees are levels of complexity for sets of reals.
New!!: L(R) and Wadge hierarchy · See more »
Zermelo–Fraenkel set theory
In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.
New!!: L(R) and Zermelo–Fraenkel set theory · See more »
Zero sharp
In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is the set of true formulae about indiscernibles and order-indiscernibles in the Gödel constructible universe.
New!!: L(R) and Zero sharp · See more »
Redirects here:
References
[1] https://en.wikipedia.org/wiki/L(R)