M. Klazar

works on

differentiation 1 integration 1 real analysis 1 sequences 1 series 1

From the 1 of 10 linked papers with an AI index.

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2025

Cantor digraphs and abbreviations of formulas

Martin Klazar

A digraph $D = ⟨ V, E ⟩$ ( $E \subset V \times V$ ) is Cantor if Cantor's theorem - for no set there is a surjection from it to its power set - holds in $D$ , in the sense we ex…

math.LO2025

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…