Registry · Definition
III.D37
tau-effective
formalized
III.D37 — Clopen Cylinder Domain
Clopen cylinder = local Hartogs bulk restricted to a primorial level. The cylinder algebra is Boolean (intersection, union, complement all clopen). Domain building blocks for τ-admissible fluid data.