List of forcing notions

Template:Short description In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the 'extension'); to force a statement of interest thus requires construction of a suitable P. This article lists some of the posets P that have been used in this construction.

Notation

• P is a poset with order <
• V is the universe of all sets
• M is a countable transitive model of set theory
• G is a generic subset of P over M.

Definitions

• P satisfies the countable chain condition if every antichain in P is at most countable. This implies that V and V[G] have the same cardinals (and the same cofinalities).
• A subset D of P is called dense if for every Template:Nowrap there is some Template:Nowrap with Template:Nowrap.
• A filter on P is a nonempty subset F of P such that if Template:Nowrap and Template:Nowrap then Template:Nowrap, and if Template:Nowrap and Template:Nowrap then there is some Template:Nowrap with Template:Nowrap and Template:Nowrap.
• A subset G of P is called generic over M if it is a filter that meets every dense subset of P in M.

Amoeba forcing

Amoeba forcing is forcing with the amoeba order, and adds a measure 1 set of random reals.

Cohen forcing

Template:Main In Cohen forcing (named after Paul Cohen) P is the set of functions from a finite subset of ω₂ × ω to {0,1} and Template:Nowrap if Template:Nowrap.

This poset satisfies the countable chain condition. Forcing with this poset adds ω₂ distinct reals to the model; this was the poset used by Cohen in his original proof of the independence of the continuum hypothesis.

More generally, one can replace ω₂ by any cardinal κ so construct a model where the continuum has size at least κ. Here, there is no restriction. If κ has cofinality ω, the cardinality of the reals ends up bigger than κ.

Grigorieff forcing

Grigorieff forcing (after Serge Grigorieff) destroys a free ultrafilter on ω.

Hechler forcing

Hechler forcing (after Stephen Herman Hechler) is used to show that Martin's axiom implies that every family of less than c functions from ω to ω is eventually dominated by some such function.

P is the set of pairs Template:Nowrap where s is a finite sequence of natural numbers (considered as functions from a finite ordinal to ω) and E is a finite subset of some fixed set G of functions from ω to ω. The element (s, E) is stronger than Template:Nowrap if t is contained in s, F is contained in E, and if k is in the domain of s but not of t then Template:Nowrap for all h in F.

Jockusch–Soare forcing

Forcing with ${\mathrm{\Pi }}_1^0$ classes was invented by Robert Soare and Carl Jockusch to prove, among other results, the low basis theorem. Here P is the set of nonempty ${\mathrm{\Pi }}_1^0$ subsets of $2^{\omega }$ (meaning the sets of paths through infinite, computable subtrees of $2^{<\omega }$), ordered by inclusion.

Iterated forcing

Iterated forcing with finite supports was introduced by Solovay and Tennenbaum to show the consistency of Suslin's hypothesis. Easton introduced another type of iterated forcing to determine the possible values of the continuum function at regular cardinals. Iterated forcing with countable support was investigated by Laver in his proof of the consistency of Borel's conjecture, Baumgartner, who introduced Axiom A forcing, and Shelah, who introduced proper forcing. Revised countable support iteration was introduced by Shelah to handle semi-proper forcings, such as Prikry forcing, and generalizations, notably including Namba forcing.

Laver forcing

Laver forcing was used by Laver to show that Borel's conjecture, which says that all strong measure zero sets are countable, is consistent with ZFC. (Borel's conjecture is not consistent with the continuum hypothesis.)

• P is the set of Laver trees, ordered by inclusion.

A Laver tree p is a subset of the finite sequences of natural numbers such that

• p is a tree: p contains any initial sequence of any element of p, equivalently stated as p is closed under initial segments
• p has a stem: a maximal node Template:Nowrap such that Template:Nowrap or Template:Nowrap for all t in p,
• If Template:Nowrap and Template:Nowrap then t has an infinite number of immediate successors tn in p for Template:Nowrap.

If G is generic for Template:Nowrap, then the real Template:Nowrap, called a Laver-real, uniquely determines G.

Laver forcing satisfies the Laver property.

Levy collapsing

Template:Main These posets will collapse various cardinals, in other words force them to be equal in size to smaller cardinals.

• Collapsing a cardinal to ω: P is the set of all finite sequences of ordinals less than a given cardinal λ. If λ is uncountable then forcing with this poset collapses λ to ω.
• Collapsing a cardinal to another: P is the set of all functions from a subset of κ of cardinality less than κ to λ (for fixed cardinals κ and λ). Forcing with this poset collapses λ down to κ.
• Levy collapsing: If κ is regular and λ is inaccessible, then P is the set of functions p on subsets of Template:Nowrap with domain of size less than κ and Template:Nowrap for every Template:Nowrap in the domain of p. This poset collapses all cardinals less than λ onto κ, but keeps λ as the successor to κ.

Levy collapsing is named for Azriel Levy.

Magidor forcing

Amongst many forcing notions developed by Magidor, one of the best known is a generalization of Prikry forcing used to change the cofinality of a cardinal to a given smaller regular cardinal.

Mathias forcing

• An element of P is a pair consisting of a finite set s of natural numbers and an infinite set A of natural numbers such that every element of s is less than every element of A. The order is defined by

Template:Nowrap is stronger than Template:Nowrap Template:Nowrap if s is an initial segment of t, B is a subset of A, and t is contained in Template:Nowrap.

Mathias forcing is named for Adrian Mathias.

Namba forcing

Namba forcing (after Kanji Namba) is used to change the cofinality of ω₂ to ω without collapsing ω₁.

• P is the set of all trees $T\subseteq {\omega }_2^{<\omega }$ (nonempty downward closed subsets of the set of finite sequences of ordinals less than ω₂) which have the property that any s in T has an extension in T which has ${\mathrm{\aleph }}_2$ immediate successors. P is ordered by inclusion (i.e., subtrees are stronger conditions). The intersection of all trees in the generic filter defines a countable sequence which is cofinal in ω₂.

Namba' forcing is the subset of P such that there is a node below which the ordering is linear and above which each node has ${\mathrm{\aleph }}_2$ immediate successors.

Magidor and Shelah proved that if CH holds then a generic object of Namba forcing does not exist in the generic extension by Namba', and vice versa.

Prikry forcing

In Prikry forcing (after Karel Prikrý) P is the set of pairs Template:Nowrap where s is a finite subset of a fixed measurable cardinal κ, and A is an element of a fixed normal measure D on κ. A condition Template:Nowrap is stronger than Template:Nowrap if t is an initial segment of s, A is contained in B, and s is contained in Template:Nowrap. This forcing notion can be used to change to cofinality of κ while preserving all cardinals.

Product forcing

Taking a product of forcing conditions is a way of simultaneously forcing all the conditions.

• Finite products: If P and Q are posets, the product poset Template:Nowrap has the partial order defined by Template:Nowrap if Template:Nowrap and Template:Nowrap.
• Infinite products: The product of a set of posets Template:Nowrap, each with a largest element 1 is the set of functions p on I with Template:Nowrap and such that Template:Nowrap for all but a finite number of i. The order is given by Template:Nowrap if Template:Nowrap for all i.
• The Easton product (after William Bigelow Easton) of a set of posets Template:Nowrap, where I is a set of cardinals is the set of functions p on I with Template:Nowrap and such that for every regular cardinal γ the number of elements α of γ with Template:Nowrap is less than γ.

Radin forcing

Radin forcing (after Lon Berk Radin), a technically involved generalization of Magidor forcing, adds a closed, unbounded subset to some regular cardinal λ.

If λ is a sufficiently large cardinal, then the forcing keeps λ regular, measurable, supercompact, etc.

Random forcing

• P is the set of Borel subsets of [0,1] of positive measure, where p is called stronger than q if it is contained in q. The generic set G then encodes a "random real": the unique real x_G in all rational intervals Template:Nowrap such that Template:Nowrap is in G. This real is "random" in the sense that if X is any subset of Template:Nowrap of measure 1, lying in V, then Template:Nowrap.

Sacks forcing

• P is the set of all perfect trees contained in the set of finite Template:Nowrap sequences. (A tree T is a set of finite sequences containing all initial segments of its members, and is called perfect if for any element t of T there is a segment s extending t so that both s0 and s1 are in T.) A tree p is stronger than q if p is contained in q. Forcing with perfect trees was used by Gerald Enoch Sacks to produce a real a with minimal degree of constructibility.

Sacks forcing has the Sacks property.

Shooting a fast club

For S a stationary subset of ${\omega }_1$ we set $P=\{⟨\sigma ,C⟩:\sigma$ is a closed sequence from S and C is a closed unbounded subset of ${\omega }_1\}$, ordered by $⟨{\sigma }^{\prime },C^{\prime }⟩\le ⟨\sigma ,C⟩$ iff ${\sigma }^{\prime }$ end-extends $\sigma$ and $C^{\prime }\subseteq C$ and ${\sigma }^{\prime }\subseteq \sigma \cup C$. In $V[G]$, we have that $\bigcup \{\sigma :(\mathrm{\exists }C)(⟨\sigma ,C⟩\in G)\}$ is a closed unbounded subset of S almost contained in each club set in V. ${\mathrm{\aleph }}_1$ is preserved. This method was introduced by Ronald Jensen in order to show the consistency of the continuum hypothesis and the Suslin hypothesis.

Shooting a club with countable conditions

For S a stationary subset of ${\omega }_1$ we set P equal to the set of closed countable sequences from S. In $V[G]$, we have that $\bigcup G$ is a closed unbounded subset of S and ${\mathrm{\aleph }}_1$ is preserved, and if CH holds then all cardinals are preserved.

Shooting a club with finite conditions

For S a stationary subset of ${\omega }_1$ we set P equal to the set of finite sets of pairs of countable ordinals, such that if $p\in P$ and $⟨\alpha ,\beta ⟩\in p$ then $\alpha \le \beta$ and $\alpha \in S$, and whenever $⟨\alpha ,\beta ⟩$ and $⟨\gamma ,\delta ⟩$ are distinct elements of p then either $\beta <\gamma$ or $\delta <\alpha$. P is ordered by reverse inclusion. In $V[G]$, we have that $\{\alpha :(\mathrm{\exists }\beta )(⟨\alpha ,\beta ⟩\in \bigcup G)\}$ is a closed unbounded subset of S and all cardinals are preserved.

Silver forcing

Silver forcing (after Jack Howard Silver) is the set of all those partial functions from the natural numbers into Template:Nowrap whose domain is coinfinite; or equivalently the set of all pairs Template:Nowrap, where A is a subset of the natural numbers with infinite complement, and p is a function from A into a fixed 2-element set. A condition q is stronger than a condition p if q extends p.

Silver forcing satisfies Fusion, the Sacks property, and is minimal with respect to reals (but not minimal).

Vopěnka forcing

Vopěnka forcing (after Petr Vopěnka) is used to generically add a set $A$ of ordinals to $\text{HOD}$. Define first $P^{\prime }$ as the set of all non-empty $\text{OD}$ subsets of the power set $𝒫(\alpha )$ of $\alpha$, where $A\subseteq \alpha$, ordered by inclusion: $p\le q$ iff $p\subseteq q$. Each condition $p\in P^{\prime }$ can be represented by a tuple $(\beta ,\gamma ,\phi )$ where $x\in p\iff V_{\beta }\models \phi (\gamma ,x)$, for all $x\subseteq \alpha$. The translation between $p$ and its least representation is $\text{OD}$, and hence $P^{\prime }$ is isomorphic to a poset $P\in \text{HOD}$ (the conditions being the minimal representations of elements of $P^{\prime }$). This poset is the Vopenka forcing for subsets of $\alpha$. Defining $G_A$ as the set of all representations for elements $p\in P^{\prime }$ such that $A\in p$, then $G_A$ is $\text{HOD}$-generic and $A\in \text{HOD}[G_A]$.

References

• Template:Citation
• Template:Citation
• Template:Citation

External links

• A.Miller (2009), Forcing Tidbits.