HMC real numbers in Countable Mathematical Analysis
Abstract
We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, (an) and (bn), are equal iff \,(an-bn)=0. We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only hereditarily at most countable (HMC) sets.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.