On supercompactness of ω_1 - Daisuke Ikegami; Nam Trang (2019)