Lemma 8 [03XW]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Lemma 8

For any dominating map of models ${\cal X}^{\prime}\to{\cal X}$ we have

p_{{\cal X}}^{\bf Z}=p_{{\cal X}^{\prime},{\cal X}}^{\bf Z}\circ p_{{\cal X}^{\prime}}^{{\bf Z}}\,\,.