About: Berkeley cardinal

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

In set theory, Berkeley cardinals are certain large cardinals suggested by Hugh Woodin in a seminar at the University of California, Berkeley in about 1992. A Berkeley cardinal is a cardinal κ in a model of Zermelo–Fraenkel set theory with the property that for every transitive set M that includes κ and α < κ, there is a nontrivial elementary embedding of M into M with α < critical point < κ. Berkeley cardinals are a strictly stronger cardinal axiom than Reinhardt cardinals, implying that they are not compatible with the axiom of choice.

Property Value
dbo:abstract
  • In set theory, Berkeley cardinals are certain large cardinals suggested by Hugh Woodin in a seminar at the University of California, Berkeley in about 1992. A Berkeley cardinal is a cardinal κ in a model of Zermelo–Fraenkel set theory with the property that for every transitive set M that includes κ and α < κ, there is a nontrivial elementary embedding of M into M with α < critical point < κ. Berkeley cardinals are a strictly stronger cardinal axiom than Reinhardt cardinals, implying that they are not compatible with the axiom of choice. A weakening of being a Berkeley cardinal is that for every binary relation R on Vκ, there is a nontrivial elementary embedding of (Vκ, R) into itself. This implies that we have elementary j1, j2, j3, ...j1: (Vκ, ∈) → (Vκ, ∈),j2: (Vκ, ∈, j1) → (Vκ, ∈, j1),j3: (Vκ, ∈, j1, j2) → (Vκ, ∈, j1, j2), and so on. This can be continued any finite number of times, and to the extent that the model has dependent choice, transfinitely. Thus, plausibly, this notion can be strengthened simply by asserting more dependent choice. While all these notions are incompatible with Zermelo–Fraenkel set theory (ZFC), their consequences do not appear to be false. There is no known inconsistency with ZFC in asserting that, for example:For every ordinal λ, there is a transitive model of ZF + Berkeley cardinal that is closed under λ sequences. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 46229692 (xsd:integer)
dbo:wikiPageLength
  • 2569 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1114910426 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • In set theory, Berkeley cardinals are certain large cardinals suggested by Hugh Woodin in a seminar at the University of California, Berkeley in about 1992. A Berkeley cardinal is a cardinal κ in a model of Zermelo–Fraenkel set theory with the property that for every transitive set M that includes κ and α < κ, there is a nontrivial elementary embedding of M into M with α < critical point < κ. Berkeley cardinals are a strictly stronger cardinal axiom than Reinhardt cardinals, implying that they are not compatible with the axiom of choice. (en)
rdfs:label
  • Berkeley cardinal (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
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
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy