75 citations · 114 across the 41 of their papers we have counts for
4 papers · 1 filter
Cantor digraphs and abbreviations of formulas
Martin Klazar
A digraph () is Cantor if Cantor's theorem - for no set there is a surjection from it to its power set - holds in , in the sense we ex…
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…
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…
Rethinking real numbers as infinite decimals
Martin Klazar
We give a~detailed construction of the complete ordered field of real numbers by means of infinite decimal expansions. We prove that in the canonical encoding of decimals neither a…