Skip to content

Standard Reader

Tag

Ω Conjecture

Articles and publications tagged Ω Conjecture across the Atmosphere.

1article0publications

Articles

Publications

HolobrineMay 26, 2026

Proof sketch of Hugh Woodin's Ω conjecture

Set theoretic forcing is a type system.

type systemRust

You've reached the end.