ω1-范畴相关论文
讨论了p阶拟循环群理论的可数的饱和模型,并用强极小理论证明了p阶拟循环群理论是ω1-范畴的,进而p阶拟循环群理论的每一模型都是......
构造了p阶拟循环群理论的可数原子模型,并且筛选型中的公式得到原子模型上的完备公式.然后扩充原子模型得到了可数万有模型.最后证......
定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型......
