Registry · Definition
II.D62
established
formalized
II.D62 — Tau-Manifold
A pair (M, A_tau) where M is a Stone space and A_tau is a maximal tau-analytic atlas. The model spaces are tau^1, T^2, and tau^3.
Book II
Part 10
Ch. 54