Manuscript Em01-A@1 · Em01-A.tex · section · 880b67af

Restriction does not establish global descent

Reconstruction descent and canonical-domain agreement › Restriction does not establish global descent · lines 1026–1034

Let $U_{can} \subseteq W$ be open, and put

Z = W ∖ U_{can} .

No identification of $Z$ with a particular attachment set is assumed.

Displayed formulas in this passage