1 paper · 2 filters
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…