Skip to content

Standard Reader

Tag

Woodin

Articles and publications tagged Woodin 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.