von Neumann universe

E14977

The von Neumann universe is a cumulative, well-founded hierarchy of sets used as a standard model of the set-theoretic universe in axiomatic set theory.

AI illustration

How this image was made

AI-generated illustration of von Neumann universe

This AI-generated illustration was produced by black-forest-labs/FLUX.2-dev (1024x1024) from a prompt written by openai/gpt-oss-120b from the entity's label + description.

Prompt

Generate an image of the von Neumann universe (The von Neumann universe is a cumulative, well-founded hierarchy of sets used as a standard model of the set-theoretic universe in axiomatic set theory.)

All labels observed (3)

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf class ⓘ
cumulative hierarchy ⓘ
proper class ⓘ
set-theoretic universe ⓘ
alsoKnownAs cumulative hierarchy of sets ⓘ
builtByTransfiniteRecursionOn ordinals ⓘ
choiceAxiomMayHoldIn von Neumann universe ⓘ
contains all sets (in ZF/ZFC) as elements of some level V_α ⓘ
containsAsSubstructure cumulative hierarchy of hereditarily finite sets ⓘ
cumulativeProperty for all α, V_α = ⋃_{β<α} V_β for limit α and P(V_{α−1}) for successors ⓘ
definedIn axiomatic set theory ⓘ
extensionalityAxiomHoldsIn von Neumann universe ⓘ
firstInfiniteLevel V_ω ⓘ
foundationAxiomHoldsIn von Neumann universe ⓘ
hasProperty cumulative ⓘ
rank-initial segment structure ⓘ
transitive ⓘ
well-founded ⓘ
historicallyIntroducedBy John von Neumann in the 1920s ⓘ
infinityAxiomHoldsIn von Neumann universe ⓘ
isTransitiveClass von Neumann universe ⓘ
isUnionOf V_α for all ordinals α ⓘ
levelNotation V_0 = ∅ ⓘ
V_{α+1} = P(V_α) ⓘ
V_λ = ⋃_{β<λ} V_β for limit ordinal λ ⓘ
membershipRelationRestrictedTo V forms a well-founded relation ⓘ
namedAfter John von Neumann ⓘ
pairingAxiomHoldsIn von Neumann universe ⓘ
powerSetAxiomHoldsIn von Neumann universe ⓘ
rankFunctionCharacterization x ∈ V_α iff rank(x) < α ⓘ
rankFunctionCodomain ordinals ⓘ
rankFunctionDomain all sets ⓘ
relatedConcept Grothendieck universe ⓘ
constructible universe L ⓘ
rank hierarchy ⓘ
replacementAxiomHoldsIn von Neumann universe ⓘ
satisfies Zermelo–Fraenkel set theory (ZF) under suitable assumptions ⓘ
Zermelo–Fraenkel set theory with Choice (ZFC) under suitable assumptions ⓘ
separationSchemaHoldsIn von Neumann universe ⓘ
subsetRelation for each α, V_α ⊂ V ⓘ
symbol V ⓘ
unionAxiomHoldsIn von Neumann universe ⓘ
usedAs standard model of the set-theoretic universe ⓘ
usedIn forcing arguments (as ambient universe) ⓘ
inner model theory ⓘ
relative consistency proofs ⓘ
V_0Equals empty set ⓘ
V_1Contains all subsets of the empty set ⓘ
V_ωContains all hereditarily finite sets ⓘ

How these facts were elicited

Referenced by (15)

Full triples — surface form annotated when it differs from this entity's canonical label.

John von Neumann → notableConcept → von Neumann universe ⓘ
Zermelo–Fraenkel set theory → associatedWith → von Neumann cumulative hierarchy ⓘ
linked to: von Neumann universe
von Neumann universe → alsoKnownAs → cumulative hierarchy of sets ⓘ
linked to: von Neumann universe
von Neumann universe → foundationAxiomHoldsIn → von Neumann universe ⓘ
von Neumann universe → extensionalityAxiomHoldsIn → von Neumann universe ⓘ
von Neumann universe → pairingAxiomHoldsIn → von Neumann universe ⓘ
von Neumann universe → unionAxiomHoldsIn → von Neumann universe ⓘ
von Neumann universe → powerSetAxiomHoldsIn → von Neumann universe ⓘ
von Neumann universe → infinityAxiomHoldsIn → von Neumann universe ⓘ
von Neumann universe → replacementAxiomHoldsIn → von Neumann universe ⓘ
von Neumann universe → separationSchemaHoldsIn → von Neumann universe ⓘ
von Neumann universe → choiceAxiomMayHoldIn → von Neumann universe ⓘ
von Neumann universe → isTransitiveClass → von Neumann universe ⓘ
ZF → hasCumulativeHierarchy → von Neumann universe ⓘ
constructible universe → isSubsetOf → von Neumann universe ⓘ