This will be a talk for the Logic Advanced Class at the Mathematical Institute, University of Oxford. The topic concerns the extension of the axiom of determinacy as well as the axiom . It will take place on the 13th of June 2024 at 11 AM in the lecture room C3. Abstract. Solovay defined the […]

Read More The Ultimate Supercompactness Measure—Logic Advanced CLass, University of Oxford, June 2024