完全二叉树理论相关论文
本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式．证明了完全二叉树理论的可数模型的胞......
定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型......
