The Eudoxus reals

Let’s call a function a near-endomorphism of if there is a constant such that for all . The set of near-endomorphisms of will be denoted by . We put an equivalence relation on by declaring that iff the function is bounded, and let denote the set of equivalence classes. It’s not difficult to show that […]