Minimal model (set theory)
id:
minimal-model-set-theory-271-3100405
title:
Minimal model (set theory)
text:
In set theory, a branch of mathematics, the minimal model is the minimal standard model of ZFC.
The minimal model was introduced by Shepherdson (1951, 1952, 1953) and rediscovered by Cohen (1963). The existence of a minimal model cannot be proved in ZFC, even assuming that ZFC is consistent, but follows from the existence of a standard model as follows. If there is a set W in the von Neumann universe V that is a standard model of ZF, and the ordinal κ is the set of ordinals that occur in W, then
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Minimal_model_(set_theory)
date created:
date modified:
2023-04-24T02:36:32Z
main entity:
{"identifier":"Q6865324","url":"https://www.wikidata.org/entity/Q6865324"}
image:
fields total:
13
integrity:
13