II.T38 — Extensions Are Omega-Germ Transformers

Hartogs extensions from L to tau^3 are the same as omega-germ transformers: the extension of boundary data through the tower produces precisely the tower-coherent family of stage-k morphisms that defines an omega-germ transformer.