A COUNTABLE MODEL FOR THE THEORY OF COMPLETE DENSE BINARY ORDER

• 完全稠密二叉偏序理论的可数模型