Assuming four strongly compact cardinals, it is consistent that all entries in Cicho'n’s diagram are pairwise different, more specifically that ℵ1<add(null)<cov(null)<b<non(meager)<cov(meager)<d<non(null)<cof(null)<2ℵ0.ℵ1<add(null)<cov(null)<b<non(meager)<cov(meager)<d<non(null)<cof(null)<2ℵ0.
生成讲解博客的中文版本
生成AI智能校验的中文版本