完全稠密二叉偏序相关论文
给出了完全稠密二叉偏序理论在语言L={≤,R)中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤......
利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.......