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}, }