Forcing ZFC’s Hand
28:32–29:36 · 64s
He recounts proving Borel determinacy requires uncountably many uncountable cardinals—guiding Martin to a sharp ZFC proof at exactly the strength boundary Friedman indicated.
28:32–29:36 · 64s
He recounts proving Borel determinacy requires uncountably many uncountable cardinals—guiding Martin to a sharp ZFC proof at exactly the strength boundary Friedman indicated.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.