Diamond principle

The diamond principle, written ♦, asserts that there is a sequence of subsets of countable ordinals that guesses every subset of ω₁ correctly on a stationary set.

Connect

ω₁: The first uncountable ordinal, whose elements are exactly the countable ordinals. The sequence has one term for each countable ordinal below ω₁.
Kurt Gödel: An Austrian logician who established major results in mathematical logic, including the constructible universe. His constructible universe supplied the setting in which diamond was later proved.
Martin's axiom: Martin's axiom states that fewer than continuum many dense sets in a ccc partial order have a common filter meeting them all. It can coexist with failures of diamond, contrasting forcing-based genericity with prediction.
Suslin tree: A Suslin tree is an uncountable tree with no uncountable chain or uncountable antichain. Diamond can be used to construct a Suslin tree by anticipating potential chains and antichains.
Stationary set: A subset of a regular uncountable cardinal is stationary if it meets every closed unbounded subset. Diamond requires correct guesses on a stationary set of indices.
Constructible universe: The inner model L consists of sets built in stages using definability over earlier stages. Diamond holds in L, revealing the principle’s connection to highly organized set-theoretic universes.
Forcing axiom: A forcing axiom asserts the existence of filters meeting specified families of dense sets in partial orders. Forcing axioms often negate diamond at ω₁, showing its independence from common alternatives.
Aronszajn tree: An Aronszajn tree has height ω₁ but no branch of length ω₁. Diamond supports constructions of specialized Aronszajn trees with controlled branching.
Club set: A subset of a limit ordinal is closed and unbounded if it contains its limit points and is unbounded in that ordinal. Stationarity means meeting every club, making diamond’s correctness unavoidable on a large set.
Ronald Jensen: A Danish set theorist known for developing fine structure theory and discovering combinatorial principles in L. Jensen established diamond in the constructible universe and developed its combinatorial uses.