Return to Article Details Non-trivial expansions of 1-transitive ordered theories Download Download PDF