Recursive automorphisms of recursive linear orderings (Q1061738): Difference between revisions

By a priority argument, the author shows that a necessary and sufficient condition for a recursive linear ordering R to admit a non-trivial automorphism is that R contains a dense interval.