Unified Approach to Real Numbers in Various Mathematical Settings

Davorin Lešnik

We provide a setting-independent definition of reals by introducing the notion of a streak. We show that various standard constructions of reals satisfy our definition. We study th…