Abstract
I will show how non-standard analysis can help in describing numeration systems, such as that used by fixed-point arithmetics in computers. To achieve the non-standard extension of the total order, instead of the usual definition using ultrafilters, a lexicographical ordering will be used.
Citation
Serge GLADKOFF. "NON-STANDARD ANALYSIS AND NUMERATION SYSTEMS." Real Anal. Exchange 13 (1) 167 - 172, 1987/1988. https://doi.org/10.2307/44151865
Information