constructible universe ^ingelesa (Q2777107)

Wikidatatik

Nabigaziora joan Bilaketara joan

particular class of sets which can be described entirely in terms of simpler sets ^ingelesa

aldatu

Hizkuntza	Etiketa	Deskribapena	Goitizenak
euskara	Ez da etiketarik zehaztu	Ez da deskribapenik zehaztu
ingelesa	constructible universe	particular class of sets which can be described entirely in terms of simpler sets	Gödel's constructible universe L

Adierazpenak

honako hau da

proper class ^ingelesa

0 erreferentzia

cumulative hierarchy ^ingelesa

0 erreferentzia

honen parte da

multzo-teoria

0 erreferentzia

formula

${\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 erreferentzia

formulako ikurra

${\displaystyle L}$

ikurrak zera adierazten du

constructible universe ^ingelesa

0 erreferentzia

${\displaystyle \Phi }$

ikurrak zera adierazten du

first-order formula ^ingelesa

0 erreferentzia

${\displaystyle \operatorname {Ord} }$

ikurrak zera adierazten du

zenbaki ordinal

0 erreferentzia

Wikiproiektuek mantentzen du

Matematiken Wikiproiektua

0 erreferentzia

Stack Exchange-ren etiketa

https://mathoverflow.net/tags/constructibility

0 erreferentzia

gaiaren kategoria nagusia

Category:Constructible universe ^ingelesa

0 erreferentzia

Identifikatzaileak

Encyclopædia Britannica Online-ren identifikatzailea

topic/Godels-constructible-universe

nola izendatua

Gödel’s constructible universe

0 erreferentzia

Fandom article ID ^ingelesa

googology:Constructible_universe

nola izendatua

Constructible universe

lanaren edo izenaren hizkuntza

ingeles

MediaWiki page ID ^ingelesa

65305

0 erreferentzia

Freebase-ren identifikatzailea

/m/01ydk2

Erreferentzia bat

non adierazia

Freebase Data Dumps ^ingelesa

argitaratze-data

28 urria 2013

gai baten JSTOR-en identifikatzailea

godel-universe

0 erreferentzia

Microsoft Academic identifikatzailea

2780508937

0 erreferentzia

nLab ID ^ingelesa

constructible universe

0 erreferentzia

 

Sitelinks

Wikipedia(13 sarrera)

aldatu

• 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 Konstruktibilni univerzum
• srwiki Конструктибилни универзум

Wikiliburuak(0 sarrera)

aldatu

Wikialbisteak(0 sarrera)

aldatu

Wikiesanak(0 sarrera)

aldatu

Wikiteka(0 sarrera)

aldatu

Wikibertsitatea(0 sarrera)

aldatu

Wikibidaiak(0 sarrera)

aldatu

Wiktionary(0 sarrera)

aldatu

Beste guneak(0 sarrera)

aldatu

"https://www.wikidata.org/w/index.php?title=Q2777107&oldid=2241079825"(e)tik jasota