Construction of the Cantor Algebra
An elementary exposition of the construction of the Cantor algebra from the clopen subsets of Cantor space. The note introduces cylinder sets, establishes their basic intersection and splitting properties, and verifies closure under the Boolean operations. An accompanying Lean 4 formalization includes the cylinder-set construction and atomlessness proof.
Authors
- Jackson Walters (ORCID: https://orcid.org/0000-0002-5814-7393)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-07-26
- DOI
- https://doi.org/10.5281/zenodo.21614878
- Primary Topic
- Algebraic and Geometric Analysis
- Type
- article
- Field-Weighted Citation Impact
- 0.00