An Entity of Type: Person100007846, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In set theory, a Woodin cardinal (named for W. Hugh Woodin) is a cardinal number such that for all functions there exists a cardinal with and an elementary embedding from the Von Neumann universe into a transitive inner model with critical point and An equivalent definition is this: is Woodin if and only if is strongly inaccessible and for all there exists a which is --strong. being --strong means that for all ordinals , there exist a which is an elementary embedding with critical point , , and . (See also strong cardinal.)

Property Value
dbo:abstract
  • In set theory, a Woodin cardinal (named for W. Hugh Woodin) is a cardinal number such that for all functions there exists a cardinal with and an elementary embedding from the Von Neumann universe into a transitive inner model with critical point and An equivalent definition is this: is Woodin if and only if is strongly inaccessible and for all there exists a which is --strong. being --strong means that for all ordinals , there exist a which is an elementary embedding with critical point , , and . (See also strong cardinal.) A Woodin cardinal is preceded by a stationary set of measurable cardinals, and thus it is a Mahlo cardinal. However, the first Woodin cardinal is not even weakly compact. (en)
  • In de verzamelingenleer, een deelgebied van de wiskunde, is een Woodin-kardinaal (vernoemd naar W. Hugh Woodin) een kardinaalgetal λ zodanig dat er voor alle functies f : λ → λ een kardinaal κ < λ bestaat waar {f(β)|β < κ} ⊆ κ en een j : V → M van V in en op een transitief M met κ en waar Vj(f)(κ) ⊆ M. (nl)
  • Na teoria dos conjuntos, um cardinal Woodin (nomeado em homenagem ao matemático, William Hugh Woodin) é um número cardinal λ tal que para todas as funções: f : λ → λ existe um cardinal κ < λ com {f(β)|β < κ} ⊆ κ e uma j : V → M a partir de V em um modelo interno transitivo M com o κ e Vj(f)(κ) ⊆ M. Uma definição equivalente é a seguinte: λ é Woodin se e apenas se λ é altamente inacessível e para todos onde existe um < λ que é --forte. sendo --forte significa que, para todos os ordinais α < λ, existe um que é uma incorporação elementar com ponto crítico , , e . Um cardinal Woodin é precedido por um conjunto estacionário de cardinais mensuráveis ​​e, portanto, é um cardinal Mahlo. (pt)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 248105 (xsd:integer)
dbo:wikiPageLength
  • 6602 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1117467947 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • In de verzamelingenleer, een deelgebied van de wiskunde, is een Woodin-kardinaal (vernoemd naar W. Hugh Woodin) een kardinaalgetal λ zodanig dat er voor alle functies f : λ → λ een kardinaal κ < λ bestaat waar {f(β)|β < κ} ⊆ κ en een j : V → M van V in en op een transitief M met κ en waar Vj(f)(κ) ⊆ M. (nl)
  • In set theory, a Woodin cardinal (named for W. Hugh Woodin) is a cardinal number such that for all functions there exists a cardinal with and an elementary embedding from the Von Neumann universe into a transitive inner model with critical point and An equivalent definition is this: is Woodin if and only if is strongly inaccessible and for all there exists a which is --strong. being --strong means that for all ordinals , there exist a which is an elementary embedding with critical point , , and . (See also strong cardinal.) (en)
  • Na teoria dos conjuntos, um cardinal Woodin (nomeado em homenagem ao matemático, William Hugh Woodin) é um número cardinal λ tal que para todas as funções: f : λ → λ existe um cardinal κ < λ com {f(β)|β < κ} ⊆ κ e uma j : V → M a partir de V em um modelo interno transitivo M com o κ e Vj(f)(κ) ⊆ M. Uma definição equivalente é a seguinte: λ é Woodin se e apenas se λ é altamente inacessível e para todos onde existe um < λ que é --forte. sendo --forte significa que, para todos os ordinais α < λ, existe um que é uma incorporação elementar com ponto crítico , , e . (pt)
rdfs:label
  • Woodin-kardinaal (nl)
  • Cardinal Woodin (pt)
  • Woodin cardinal (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License