摘要
对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.
About finite linerly ordered,this paper proves some conditions of equivalence of complete weak theory T and model complete weak theory.In adittion,a kind of decision theorem of complete weak theory T is proved.
出处
《淮北煤炭师范学院学报（自然科学版）》
2010年第2期1-4,共4页
Journal of Huaibei Coal Industry Teachers College(Natural Science edition)
基金
教育部科学技术重点项目(205074)
安徽省高校自然科学项目(2005KJ032ZD)
关键词
格值弱模型
完全弱理论
初等等价
lattice-valued weak model
complete weak theory
elementary equivalence
