Definition:Standard Transitive Model
Jump to navigation
Jump to search
This article needs to be linked to other articles. In particular: $A \models p$ You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code. |
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
- 1971: Gaisi Takeuti and Wilson M. Zaring: Introduction to Axiomatic Set Theory: $\S 12.7$