2014/02/24 by Davorin Lešnik, Lešnik, Davorin
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #FOS: Mathematics #General Mathematics (math.GM) #Mathematical and Theoretical Analysis #Numerical Methods and Algorithms #math.GM
paper · pdf · doi:10.48550/arxiv.1402.6645
arxiv created 2014/02/24 · openalex publication_date 2014/02/24 · arxiv updated 2014/02/27 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
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 the structure of reals by noting that its pieces correspond to reflections on the category of streaks.