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