Canonical Name

Let be a Transitive Model of . Let $𝟙$ be a Forcing Partial Order. If define

𝟙

the canonical name for .

Furthermore, define

the canonical name for the generic object.

Suppose $𝟙$ . Then

If $𝟙$ then , the Model Extension.

If $𝟙$ then

If $𝟙$ then , the Model Extension.

Quartz 5