Standard model (set theory)
Script error: No such module "Distinguish".
In set theory, a standard model for a theory T is a model M for T where the membership relation ∈M is the same as the membership relation ∈ of a set theoretical universe V (restricted to the domain of M). In other words, M is a substructure of V. A standard model M that satisfies the additional transitivity condition that x ∈ y ∈ M implies x ∈ M is a standard transitive model (or simply a transitive model).
Usually, when one talks about a model M of set theory, it is assumed that M is a set model, i.e. the domain of M is a set in V. If the domain of M is a proper class, then M is a class model. An inner model is necessarily a class model.
References
<templatestyles src="Reflist/styles.css" />
Script error: No such module "Check for unknown parameters". <templatestyles src="Refbegin/styles.css" />
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".