75 citations · 114 across the 41 of their papers we have counts for
Showing 2023 · math.LOShow all
2 papers · 2 filters
math.LO2023
HMC real numbers in Countable Mathematical Analysis
Martin Klazar
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 Counta…
math.LO2023
Countable real analysis
Martin Klazar
HMC sets are hereditarily at most countable sets. We rework a substantial part of univariate real analysis in a form in which only HMC real functions are used. In such countable re…