We use a (countable support) creature construction to show that consistently d=ℵ1=cov(NULL)<non(MEAGER)<non(NULL)<cof(NULL)<2ℵ0.d=ℵ1=cov(NULL)<non(MEAGER)<non(NULL)<cof(NULL)<2ℵ0. The same method shows the consistency of d=ℵ1=cov(NULL)<non(NULL)<non(MEAGER)<cof(NULL)<2ℵ0.d=ℵ1=cov(NULL)<non(NULL)<non(MEAGER)<cof(NULL)<2ℵ0.
生成讲解博客的中文版本
生成AI智能校验的中文版本