Definition:Standard Transitive Model

From ProofWiki
Jump to: navigation, 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 \varnothing$
$A$ is a transitive class

and:

$A \models p$


Sources