Definition:Standard Transitive Model

From ProofWiki
Jump to navigation Jump to search



Definition

Let $p$ be a WFF in the language of set theory.

Let $A$ be a class.


Then $A$ is a standard transitive model of $p$ if and only if:

$A \ne \O$
$A$ is a transitive class

and:

$A \models p$


Sources