Report - Ralf Schindler · How to prove the Neeman-Woodin theorem: Theorem (Woodin). 1 n+1 determinacy ) there are certain iterable inner models with n Woodin cardinals. Theorem (Neeman).

Please pass captcha verification before submit form