HMC real numbers in Countable Mathematical Analysis
Logic
2023-08-10 v1 History and Overview
Abstract
We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, and , are equal iff . We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only hereditarily at most countable (HMC) sets.
Cite
@article{arxiv.2308.04474,
title = {HMC real numbers in Countable Mathematical Analysis},
author = {Martin Klazar},
journal= {arXiv preprint arXiv:2308.04474},
year = {2023}
}
Comments
10 pages