
TL;DR
This paper develops a form of real analysis restricted to hereditarily countable sets, demonstrating foundational results like the transcendence of e and constructing specific continuous functions within this framework.
Contribution
It introduces a countable real analysis framework using HMC sets, reworking classical analysis and proving key results like e's transcendence within this restricted setting.
Findings
Reformulation of real analysis using HMC sets
Proof of transcendence of e in countable real analysis
Construction of a specific uniformly continuous function with unique properties
Abstract
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 real analysis we carry out Hilbert's proof of transcendence of the number . We also construct a uniformly continuous function such that on and for every .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Banach Space Theory · Mathematical and Theoretical Analysis · Advanced Topology and Set Theory
