\b[No.] With its induced usual order, the closed interval has a least element and a greatest element. At zero there is no smaller domain element, and at one there is no larger domain element. It fails the no-endpoint axioms, although it is densely ordered.


Solution

Past exam of the logic and set theory course of the University of Oxford / 2010 / A / 3 / d / ii / γ / Solution

 Solution (source code)