constructible universe
particular class of sets which can be described entirely in terms of simpler sets
Press Enter · cited answer in seconds
0 sources
constructible universe
Summary
constructible universe is a proper class[1]. It draws 91 Wikipedia views per month (proper_class category, ranking #2 of 2).[2]
Key Facts
- constructible universe's instance of is recorded as proper class[3].
- constructible universe's instance of is recorded as cumulative hierarchy[4].
- constructible universe's part of is recorded as set theory[5].
- constructible universe's Freebase ID is recorded as /m/01ydk2[6].
- constructible universe's topic's main category is recorded as Category:Constructible universe[7].
- constructible universe's Encyclopædia Britannica Online ID is recorded as topic/Godels-constructible-universe[8].
- constructible universe's Stack Exchange tag is recorded as https://mathoverflow.net/tags/constructibility[9].
- constructible universe's defining formula is recorded as \begin{aligned}L_\alpha&=\begin{cases}\left{{x\in L_\beta\mid L_\beta\models\Phi(x,y_1,\dotsc,y_n)}\mid y_1,\dotsc,y_n\in L_\beta,\;\Phi\text{ is first-order formula}\right}&\exists\beta\colon\alpha=\beta+1\\bigcup_{\gamma<\alpha}L_\gamma&\nexists\beta\colon\alpha=\beta+1\end{cases}\L&=\bigcup_{\alpha\in\operatorname{Ord}}L_\alpha\end{aligned}[10].
- constructible universe's JSTOR topic ID is recorded as godel-universe[11].
- constructible universe's nLab ID is recorded as constructible universe[12].
- constructible universe's maintained by WikiProject is recorded as WikiProject Mathematics[13].
- constructible universe's Fandom article ID is recorded as googology:Constructible_universe[14].
- constructible universe's Microsoft Academic ID is recorded as 2780508937[15].
- constructible universe's in defining formula is recorded as L[16].
- constructible universe's in defining formula is recorded as \Phi[17].
- constructible universe's in defining formula is recorded as \operatorname{Ord}[18].
Why It Matters
constructible universe draws 91 Wikipedia views per month (proper_class category, ranking #2 of 2).[2] It has Wikipedia articles in 11 language editions, a strong signal of global cultural recognition.[19] It is known by 26 alternative names across languages and contexts.[20]