Abstract
We give a recursion-like theorem which enables us to encode the elements of the real Borel class by infinite sequences of integers. This fact implies that the cardinality of the Borel class is not above continuum, without depending on cumbrous tools like transfinite induction and Suslin operation.
Similar content being viewed by others
References
D. H. Fremlin, Measure Theory, Vol. 5: Set-theoretic Measure Theory, Part II, Torre Fremlin (Colchester, England, 2008)
P. R. Halmos, Naive Set Theory, Undergraduate Texts in Mathematics, Springer Science + Business Media (New York, 1974)
A. S. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, Vol. 156, Springer-Verlag (New York, etc., 1995)
M. Laczkovich, \(333\) Exercises in Measure Theory, Typotex (Budapest, 2018) (in Hungarian)
R. M. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2), 92 (1970), 1–56
S. M. Srivastava, A Course on Borel Sets, Springer-Verlag (New York, 1998)
Acknowledgement
The author thanks the anonymous referee for the valuable comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kánnai, Z. An elementary proof that the Borel class of the reals has cardinality continuum. Acta Math. Hungar. 159, 124–130 (2019). https://doi.org/10.1007/s10474-019-00986-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-019-00986-7