胞腔性质相关硕士博士期刊学术论文

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