Sacks property

In mathematical set theory, the Sacks property holds between two models of Zermelo–Fraenkel set theory if they are not "too dissimilar" in the following sense.

For ${\displaystyle M}$ and ${\displaystyle N}$ transitive models of set theory, ${\displaystyle N}$ is said to have the Sacks property over ${\displaystyle M}$ if and only if for every function ${\displaystyle g\in M}$ mapping ${\displaystyle \omega }$ to ${\displaystyle \omega \setminus \{0\}}$ such that ${\displaystyle g}$ diverges to infinity, and every function ${\displaystyle f\in N}$ mapping ${\displaystyle \omega }$ to ${\displaystyle \omega }$ there is a tree ${\displaystyle T\in M}$ such that for every ${\displaystyle n}$ the ${\displaystyle n^{th}}$ level of ${\displaystyle T}$ has cardinality at most ${\displaystyle g(n)}$ and ${\displaystyle f}$ is a branch of ${\displaystyle T}$.[1]

The Sacks property is used to control the value of certain cardinal invariants in forcing arguments. It is named for Gerald Enoch Sacks.

A forcing notion is said to have the Sacks property if and only if the forcing extension has the Sacks property over the ground model. Examples include Sacks forcing and Silver forcing.

Shelah proved that when proper forcings with the Sacks property are iterated using countable supports, the resulting forcing notion will have the Sacks property as well.[2][3]

The Sacks property is equivalent to the conjunction of the Laver property and the ${\displaystyle {}^{\omega }\omega }$-bounding property.