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

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Construction of the Cantor Algebra

Jackson Walters
Zenodo (CERN European Organization for Nuclear Research)
Algebraic and Geometric Analysis
article

Construction of the Cantor Algebra

Jackson Walters
article en

Abstract

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.

Zenodo (CERN European Organization for Nuclear Research)
Sustainable cities and communities
Openalex Percentile: Top 5%
Algebraic and Geometric Analysis
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Construction of the Cantor Algebra — Jackson Walters · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS