Matches in DBpedia 2015-10 for { ?s ?p "In set theory, a minimal model is a minimal standard model of ZFC.Minimal models were introduced by (Shepherdson 1951, 1952, 1953).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 which is a standard model of ZF, and the ordinal κ is the set of ordinals which occur in W, then Lκ is the class of constructible sets of W."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Minimal_model_(set_theory) comment "In set theory, a minimal model is a minimal standard model of ZFC.Minimal models were introduced by (Shepherdson 1951, 1952, 1953).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 which is a standard model of ZF, and the ordinal κ is the set of ordinals which occur in W, then Lκ is the class of constructible sets of W.".