Title: Daniel's Flashcards / Year 4 / Term 2 / Forcing and the Continuum Hypothesis

html: Definition. If ℙ is any forcing, let
OL ⁡ : = { A n : n ∈ ω }
be any ω-sequence of antichains in ℙ.
Let
ň τ OL ⁡ : = { ( ň , p ) : p ∈ A n } .
We call these nice names.