arXiv Open Access 2023

HMC real numbers in Countable Mathematical Analysis

Martin Klazar

Lihat Sumber

Abstrak

We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, $(a_n)$ and $(b_n)$, are equal iff $\lim\,(a_n-b_n)=0$. We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only hereditarily at most countable (HMC) sets.

Topik & Kata Kunci

math.LO math.HO

Penulis (1)

Martin Klazar

Format Sitasi

APA MLA BibTeX

Klazar, M. (2023). HMC real numbers in Countable Mathematical Analysis. https://arxiv.org/abs/2308.04474

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓