universo construível ^portugués (Q2777107)

De Wikidata

Saltar á navegación Saltar á procura

particular class of sets which can be described entirely in terms of simpler sets ^inglés

editar

Lingua	Etiqueta	Descrición	Tamén coñecido como
galego	Non hai ningunha etiqueta definida	Non hai ningunha descrición definida
inglés	constructible universe	particular class of sets which can be described entirely in terms of simpler sets	Gödel's constructible universe L

Declaracións

instancia de

classe própria ^portugués

0 referencias

cumulative hierarchy ^inglés

0 referencias

parte de

teoría de conxuntos

0 referencias

fórmula

${\displaystyle {\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}}}$

0 referencias

referido na fórmula como

${\displaystyle L}$

o símbolo representa

universo construível ^portugués

0 referencias

${\displaystyle \Phi }$

o símbolo representa

first-order formula ^inglés

0 referencias

${\displaystyle \operatorname {Ord} }$

o símbolo representa

número ordinal

0 referencias

mantido polo wikiproxecto

Wikipedia:Wikiproxecto Matemáticas

0 referencias

etiqueta en Stack Exchange

https://mathoverflow.net/tags/constructibility

0 referencias

categoría principal do elemento

Categoria:Universo construível ^portugués

0 referencias

Identificadores

identificador da Encyclopædia Britannica Online

topic/Godels-constructible-universe

nomeada como

Gödel’s constructible universe

0 referencias

identificador de artigo na Fandom

googology:Constructible_universe

nomeada como

Constructible universe

lingua

lingua inglesa

identificador MediaWiki de páxina

65305

0 referencias

identificador Freebase

/m/01ydk2

1 referencia

afirmado en

Freebase Data Dumps

data de publicación

28 outubro 2013

identificador JSTOR de tema

godel-universe

0 referencias

identificador Microsoft Academic

2780508937

0 referencias

identificador nLab

constructible universe

0 referencias

 

Ligazón do sitio

Wikipedia(13 entradas)

editar

• cswiki Konstruovatelná množina
• elwiki Οικοδομήσιμο Σύμπαν
• enwiki Constructible universe
• eswiki Universo constructible
• frwiki Univers constructible
• hewiki L (תורת הקבוצות)
• jawiki 構成可能集合
• kowiki 구성 가능 전체
• plwiki Uniwersum konstruowalne
• ptwiki Universo construível
• ruwiki Конструктивный универсум
• shwiki Конструктибилни универзум
• srwiki Конструктибилни универзум

Wikibooks(0 entradas)

editar

Wikinews(0 entradas)

editar

Wikiquote(0 entradas)

editar

Wikisource(0 entradas)

editar

Wikiversidade(0 entradas)

editar

Wikivoyage(0 entradas)

editar

Galizionario(0 entradas)

editar

Outros sitios(0 entradas)

editar

Traído desde «https://www.wikidata.org/w/index.php?title=Q2777107&oldid=1988483504»