Standard Search
Search
About 1 results
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