Daisuke Ikegami

Shibaura Institute of Technology, Tokyo

On supercompactness of omega_1

Logic and Set Theory Seminar

20th August 2019, 1:30 pm – 3:00 pm
Howard House, 4th Floor Seminar Room

In ZFC, all the large cardinals are much bigger than \omega_1, the least uncountable cardinal. In ZF without assuming the Axiom of Choice, \omega_1 could have large cardinal properties such as measurability and supercompactness by the results of Jech and Takeuti. In this talk, we discuss some consequences of supercompactness of \omega_1 on sets of reals in terms of regularity properties and determinacy. This is joint work with Nam Trang.

Comments are closed.