Scott语句相关论文
本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式．证明了完全二叉树理论的可数模型的胞......
将在逻辑Lω,ω中把完全k（k〈ω）叉树理论的可数模型刻画到同构，并给出它们的Scott语句具体形式，证明了完全k叉树理论的可数模型的胞腔......
