Real analysis without uncountable sets

Martin Klazar

2024-02-02

Abstract:HMC sets are hereditarily at most countable sets. We rework a part of analysis of univariate real functions so that it (substantially) uses only HMC sets and present some applications. 1. By integrating functions $f\colon[u,v]_{\mathbb{Q}}= \{a\in\mathbb{Q}\;|\;u\le a\le v\}\to\mathbb{R}$ we carry out, with only HMC sets, Hilbert's proof of transcendence of $\mathrm{e}$. 2. We give a version of Hilbert's proof based on quasi-formal use of power series. 3. We prove, using only HMC sets, Liouville's theorem that transcendental numbers exist. 4. We construct a uniformly continuous function $f\colon[0,1]_{\mathbb{Q}}\to\mathbb{R}$ satisfying for every $a\in[0,1]_{\mathbb{Q}}$ that $f(\frac{1}{\sqrt{2}})=\frac{1}{\sqrt{2}}>f(a)$ and $f'(a)=1$ (the value $f(\frac{1}{\sqrt{2}})$ is of the continuous extension of $f$). 5. In conclusion we ask if FLT can be proven by means of only HMC sets.

Logic,Classical Analysis and ODEs,History and Overview,Number Theory