{"id":"arxiv/2608.02423","url":"https://arxiv.org/abs/2608.02423","tags":["math.LO"],"score":0,"title":"Functionary Models of Real Analysis","domain":"math.LO","source":"arxiv","authors":["Matouš Schnabel"],"reviews":0,"subject":"math.LO","summary":"A real number can have more than one name: $0.5$ and $0.4999\\ldots$ denote the same thing, and which numbers enjoy such a doubling depends on the base one writes in. We make that dependence the object of study. Fixing a system function $\\vartheta$, which assigns a base $\\vartheta(n)\\geq2$ to every position independently, we build the real numbers as equivalence classes of digit functions $f:ω\\rightarrowω$, where the equivalence is generated by two local carrying moves, contraction and broadening, and tested by agreement on finite initial segments. Each class turns out to contain at most two…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}