Common · Knowledge
Constructible universe
Particular class of sets which can be described entirely in terms of simpler sets
In set theory, the constructible universe (or Gödel's constructible universe), denoted by L , {\displaystyle L,} is a particular class of sets that can be described entirely in terms of simpler sets. L {\displaystyle L} is the union of the constructible hierarchy L α {\displaystyle L_{\alpha }} .
From Wikipedia
In set theory, the constructible universe (or Gödel's constructible universe), denoted by L , {\displaystyle L,} is a particular class of sets that can be described entirely in terms of simpler sets. L {\displaystyle L} is the union of the constructible hierarchy L α {\displaystyle L_{\alpha }} . It was introduced by Kurt Gödel in 1938, who proved that the constructible universe is an inner model of ZF set theory, and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe. This shows that both propositions are consistent with the basic axioms of set theory, if ZF itself is consistent. Since many other theorems only hold in systems in which one or both of the propositions is true, their consistency is an important result.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
★★
Universe (mathematics)
In set theory, a set large enough such that most ordinary mathematical constructions can take place within it
-
★★★★★
Universe
Totality consisting of space, time, matter and energy
-
★★★★
Set theory
Branch of mathematics that studies sets, which are collections of objects
-
M★★
Mathematical universe hypothesis
Theory stating that external physical reality is a mathematical structure
-
★★
General topology
Branch of topology dealing with general topological spaces
-
M★
Meagre set
In topology, a countable union of nowhere dense subsets