Standard Search

https://leaflet.pub/p/did:plc:g5hiaok54wc2rpigewi75kdu/3mmxzyqqei22i · 29 May 2026

CH is not proven independent, and the door for Woodin's Ultimate L program is open.

The Ω Conjecture holds in every syntactically reachable case

https://leaflet.pub/p/did:plc:g5hiaok54wc2rpigewi75kdu/3mmvvwczcl22r · 28 May 2026

This document does not prove the Ω Conjecture. It verifies it — showing that the conjecture holds in every syntactically reachable case, for any formal language, and precisely locating where a complete proof would require going beyond syntax entirely. T...

math continuum hypothesis forcing ω-logic

Proof sketch of Hugh Woodin's Ω conjecture

https://leaflet.pub/p/did:plc:g5hiaok54wc2rpigewi75kdu/3mmr4vlz42c2z · 26 May 2026

Set theoretic forcing is a type system.

type system rust large cardinals woodin ω conjecture continuum hypothesis math