Nice name

In set theory, a nice name is used in forcing to impose an upper bound on the number of subsets in the generic model.

It is used in the context of forcing to prove independence results in set theory such as Easton's theorem.

ZFC be transitive,

a forcing notion in

-name satisfying the following properties: (1)

⟨ σ , p ⟩ ∈ η }

forms an antichain.

(3) (Natural addition): If

⟨ σ , p ⟩ ∈ η

⟨ σ , q ⟩ ∈ τ

This set theory-related article is a stub.

You can help Wikipedia by expanding it.