Registry · Definition
II.D17
established
formalized
II.D17 — Angular Sectors
Clopen subsets of tau^3 defined by B- or C-coordinate constraints at a fixed stage k. B-sectors fix the exponent mod p_k; C-sectors fix the tetration mod p_k. The two are independent.
Book II
Part 3
Ch. 16