Assuming three strongly compact cardinals, it is consistent that ℵ1<add(null)<cov(null)<b<d<non(null)<cof(null)<2ℵ0.ℵ1<add(null)<cov(null)<b<d<non(null)<cof(null)<2ℵ0. Under the same assumption, it is consistent that ℵ1<add(null)<cov(null)<non(meager)<cov(meager)<non(null)<cof(null)<2ℵ0.ℵ1<add(null)<cov(null)<non(meager)<cov(meager)<non(null)<cof(null)<2ℵ0.
生成讲解博客的中文版本
生成AI智能校验的中文版本