Based on the theoretic model of algebraical prime and simple closed properties,a new short proof for quantifier elimination of the theory of complete dense binary orders was presented.

 
  • 利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明。
今日热词
目录 附录 查词历史