Woodin's Ω-Conjecture: completeness of Ω-logic under a proper class of Woodin cardinals

Woodin's Ω-logic is a forcing-invariant logic calibrated to the large cardinal axioms. A sentence is Ω-valid if it holds in every rank initial segment of every set-forcing extension, and Ω-provable if some universally Baire set of reals certifies this validity across all countable transitive models closed under it. Under a proper class of Woodin cardinals, soundness (Ω-provability implies Ω-validity) is a theorem, and both relations are unchanged by set forcing. The Ω-Conjecture — posed by Woodin in 2001 and listed among the central open questions of Suitable Extender Models I — asserts the completeness direction: Ω-validity implies Ω-provability. It is known to be consistent (it holds in all currently known canonical inner models) and follows conditionally from the Θ₀-Conjecture, but neither a proof for the universe nor a consistency proof of failure is known. The problem is open as of August 2026.

Background

By the classical independence results of Gödel and Cohen, many natural statements — most famously the Continuum Hypothesis — can be neither proved nor refuted from the standard axioms of set theory, ZFC (Zermelo–Fraenkel set theory with the Axiom of Choice): by the method of forcing, such a statement can be made true or false in different forcing extensions $V[G]$ of the universe $V$ . The large cardinal axioms, which assert the existence of cardinals far up the cumulative hierarchy, are the strongest known coherent extensions of ZFC, and a guiding question of modern set theory is which independent statements they settle. Woodin's Ω-logic is a logic built to isolate exactly the forcing-invariant consequences of the large cardinal axioms; whether it is complete is the Ω-Conjecture, one of the recognized open problems of the field and a central open question of Suitable Extender Models I.

A cardinal $\kappa$ is a Woodin cardinal if for every function $f:\kappa\to\kappa$ there exist an ordinal $\alpha<\kappa$ and an elementary embedding $j:V\to M$ into a transitive class $M$ with critical point $\alpha$ such that $V_{j(f)(\alpha)}\subseteq M$ , where $V_\beta$ denotes the $\beta$ -th level (rank initial segment) of the cumulative hierarchy. Woodin cardinals sit far above the measurable cardinals and are the standard hypothesis under which definable sets of reals acquire strong regularity properties. A set of reals $A\subseteq\mathbb{R}$ is universally Baire if there are trees $T$ and $S$ (sets of finite sequences) whose sets of infinite branches project to $A$ and to its complement in $V$ , and continue to project to complementary sets in every set-forcing extension. This class of sets, introduced by Feng, Magidor, and Woodin, has very strong closure properties when there is a proper class of Woodin cardinals, and its members serve as the "proofs" of Ω-logic.

The semantic side of Ω-logic is the validity relation $\models_\Omega$ . For a theory $T$ and a sentence $\varphi$ , $T\models_\Omega\varphi$ (read: $\varphi$ is Ω-valid from $T$ ) means that in every set-forcing extension $V[G]$ , for every ordinal $\alpha$ , if the rank initial segment $V_\alpha$ of $V[G]$ satisfies $T$ then it satisfies $\varphi$ ; for the empty theory one writes $\emptyset\models_\Omega\varphi$ and says that $\varphi$ is Ω-valid. Woodin proved that if there is a proper class of Woodin cardinals then the set of Ω-valid sentences cannot be changed by set forcing, so Ω-validity is a robust notion of holding in all rank initial segments of all forcing extensions.

The syntactic side, $\vdash_\Omega$ , is defined through countable transitive models of ZFC that are closed under a universally Baire set. A countable transitive model $M$ is $A$ -closed, for a universally Baire set $A$ , if for every partial order $\mathbb{P}\in M$ there is a countable set $D$ of dense open subsets of $\mathbb{P}$ (not necessarily members of $M$ ) such that for every filter $G$ on $\mathbb{P}$ meeting every member of $D$ , the intersection $A\cap M[G]$ belongs to $M[G]$ . Then $T\vdash_\Omega\varphi$ ( $\varphi$ is Ω-provable from $T$ ) if there exists a universally Baire set $A$ such that every countable transitive $A$ -closed model $M$ of ZFC with $T\in M$ satisfies, as evaluated inside $M$ , that $T\models_\Omega\varphi$ . Woodin's Soundness Theorem states that if there is a proper class of Woodin cardinals then $T\vdash_\Omega\varphi$ implies $T\models_\Omega\varphi$ ; the converse is not known.

Assuming a proper class of Woodin cardinals with least Woodin cardinal $\delta_0$ , the proof relation $\vdash_\Omega$ is definable over $H(\delta_0^+)$ , the collection of sets hereditarily of cardinality less than $\delta_0^+$ (this uses the determinacy of $\delta_0$ -universally Baire sets of reals), whereas Ω-validity is a priori defined only by a quantification over all forcing extensions. The Ω-Conjecture asserts that, under a proper class of Woodin cardinals, the two relations coincide: the semantic notion would then be captured by a definable proof calculus, and Ω-logic would be complete. If instead the conjecture fails, then by a theorem of Koellner and Woodin, incompatible Ω-complete theories (theories deciding every sentence in Ω-logic) abound in the presence of a proper class of Woodin cardinals, fragmenting the consequences of the large cardinal axioms.

The conjecture was formulated by Woodin and published in 2001. It appears among the central open questions of Suitable Extender Models I (2010), whose program — constructing suitable extender models, i.e. canonical fine-structural inner models reaching the supercompact level — is the main prospective route to a proof. Woodin's 2017 survey In Search of Ultimate-L proves only conditional reductions, the surveys of Ω-logic through 2011 state the completeness direction as open, and the most recent programmatic survey of the area (Müller and Sargsyan, 2024) records the surrounding inner-model program as unresolved without claiming progress on Ω-completeness. No proof or refutation was known as of August 2026.

Problem Statement

The Ω-Conjecture is Woodin's (The Ω conjecture, 2001); the statement below follows Larson's Three Days of Ω-logic (2011).

Assume there is a proper class of Woodin cardinals. Prove, or refute, that for every sentence $\varphi$ of the language of set theory,

$\emptyset\models_\Omega\varphi\quad\Longleftrightarrow\quad\emptyset\vdash_\Omega\varphi,$

where the two relations are defined as follows.

Ω-validity: $\emptyset\models_\Omega\varphi$ if in every set-forcing extension $V[G]$ of $V$ and for every ordinal $\alpha$ of $V[G]$ , the rank initial segment $V_\alpha^{V[G]}$ satisfies $\varphi$ .

Ω-provability: $\emptyset\vdash_\Omega\varphi$ if there exists a universally Baire set $A$ of reals such that every countable transitive model $M$ of ZFC (Zermelo–Fraenkel set theory with the Axiom of Choice) that is $A$ -closed satisfies, as evaluated in $M$ , the statement that $\varphi$ holds in every rank initial segment of every set-forcing extension of $M$ . Here a set of reals $A$ is universally Baire if there are trees $T$ and $S$ (sets of finite sequences) whose sets of infinite branches project to $A$ and to the complement of $A$ in $V$ , and continue to project to complementary sets in every set-forcing extension; and a countable transitive model $M$ is $A$ -closed if for every partial order $\mathbb{P}\in M$ there is a countable set $D$ of dense open subsets of $\mathbb{P}$ (not necessarily members of $M$ ) such that for every filter $G$ on $\mathbb{P}$ meeting every member of $D$ , the intersection $A\cap M[G]$ belongs to $M[G]$ .

The implication from right to left is Woodin's Soundness Theorem (provable from ZFC plus a proper class of Woodin cardinals), so the open content is the completeness direction, from left to right. Both relations are defined for arbitrary countable theories $T$ in place of the empty theory, and both are absolute between set-forcing extensions, so the conjecture itself is forcing-absolute; it fails exactly when some Ω-valid sentence is not Ω-provable.

References

W. Hugh Woodin, Suitable Extender Models I, Journal of Mathematical Logic 10 (2010), no. 1-2, pp. 101-339. DOI: 10.1142/S021906131000095X, https://doi.org/10.1142/S021906131000095X.
W. Hugh Woodin, Suitable Extender Models II: beyond omega-huge, Journal of Mathematical Logic 11 (2011), no. 2, pp. 115-436. DOI: 10.1142/S021906131100102X, https://doi.org/10.1142/S021906131100102X.
W. Hugh Woodin, The Ω conjecture, in: Aspects of Complexity (Minicourses in Algorithmics, Complexity and Scientific Computing), de Gruyter Series in Logic and Its Applications 4, Walter de Gruyter, Berlin, 2001, pp. 155-169. DOI: 10.1515/9783110889178.155, https://doi.org/10.1515/9783110889178.155.
Peter Koellner and W. Hugh Woodin, Incompatible Ω-complete theories, The Journal of Symbolic Logic 74 (2009), no. 4, pp. 1155-1170. DOI: 10.2178/jsl/1254748685, https://doi.org/10.2178/jsl/1254748685.
Paul B. Larson, Three Days of Ω-logic, Annals of the Japan Association for Philosophy of Science 19 (2011), pp. 57-86. DOI: 10.4288/jafpos.19.0_57, https://doi.org/10.4288/jafpos.19.0_57.
Joan Bagaria, Neus Castells, and Paul B. Larson, An Ω-logic primer, in: Set Theory (Centre de Recerca Matemàtica Barcelona, 2003-2004), Trends in Mathematics, Birkhäuser, Basel, 2006, pp. 1-28. DOI: 10.1007/3-7643-7692-9_1, https://doi.org/10.1007/3-7643-7692-9_1.
W. Hugh Woodin, In Search of Ultimate-L: The 19th Midrasha Mathematicae Lectures, The Bulletin of Symbolic Logic 23 (2017), no. 1, pp. 1-109. DOI: 10.1017/bsl.2016.34, https://doi.org/10.1017/bsl.2016.34.
Qi Feng, Menachem Magidor, and W. Hugh Woodin, Universally Baire Sets of Reals, in: Set Theory of the Continuum (Berkeley, CA, 1989), Mathematical Sciences Research Institute Publications 26, Springer, New York, 1992, pp. 203-242. DOI: 10.1007/978-1-4613-9754-0_15, https://doi.org/10.1007/978-1-4613-9754-0_15.
Grigor Sargsyan and Nam Trang, Tame failures of the unique branch hypothesis and models of $\mathrm{AD}_{\mathbb{R}}$ + $\Theta$ is regular, Journal of Mathematical Logic 16 (2016), no. 2, Article 1650007. DOI: 10.1142/S0219061316500070, https://doi.org/10.1142/S0219061316500070.
Grigor Sargsyan and Nam Trang, Sealing from Iterability, preprint (2021). arXiv:2110.06312, https://arxiv.org/abs/2110.06312.
Juan P. Aguilera, Joan Bagaria, and Philipp Lücke, Large cardinals, structural reflection, and the HOD Conjecture, preprint (2024). arXiv:2411.11568, https://arxiv.org/abs/2411.11568.
Juan Pablo Aguilera, Joan Bagaria, Gabriel Goldberg, and Philipp Lücke, Large cardinals beyond HOD, preprint (2025). arXiv:2509.10254, https://arxiv.org/abs/2509.10254.
Gabriel Goldberg and Dan Hathaway, On $(\Sigma^2_1)^{uB}$ Absoluteness Between V and HOD, preprint (2025). arXiv:2505.01393, https://arxiv.org/abs/2505.01393.
Sandra Müller and Grigor Sargsyan, Gödel's Program in Set Theory, preprint (2024). arXiv:2412.07325, https://arxiv.org/abs/2412.07325.
Rupert McCallum, Inconsistency of Reinhardt cardinals with ZF, preprint (2026). arXiv:2601.10231, https://arxiv.org/abs/2601.10231.
Joan Bagaria, Peter Koellner, and W. Hugh Woodin, Large cardinals beyond choice, The Bulletin of Symbolic Logic 25 (2019), no. 3, pp. 283-318. DOI: 10.1017/bsl.2019.28, https://doi.org/10.1017/bsl.2019.28.