We show in ZFCZFC that the class of low theories forms a dividing line in Keisler’s order. That is, if TT is low and T′⊴TT′⊴T then T′T′ is low. We also show there is a minimal nonlow theory TcasTcas.
生成讲解博客的中文版本
生成AI智能校验的中文版本