# Tag Info

### Does the main theorem of elimination theory with $\mathbb{Z}$-coefficients imply that projective varieties are complete?
One way to reduce completeness of projective space to $\mathbb{Z}$ is to use noetherian approximation techniques from scheme theory. Def: Let $R$ be a ring. We say a $R$-scheme $X$ is universally ...