Order in open intervals of computable reals

Jan von Plato. Order in open intervals of computable reals. Mathematical Structures in Computer Science, 9(1):103-108, 1999.

@article{Plato99,
  title = {Order in open intervals of computable reals},
  author = {Jan von Plato},
  year = {1999},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/Plato99},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {9},
  number = {1},
  pages = {103-108},
}