Tags: Added new tags

Also fixed a few references

spaces-properties.tex

@@ -1082,21 +1082,21 @@ \section{Properties of Spaces defined by properties of schemes}
 Here is a list of such properties $P$:
 \begin{enumerate}
 \item Noetherian, see
-More Algebra, Lemma \ref{more-algebra-lemma-Noetherian-etale-extension},
+More on Algebra, Lemma \ref{more-algebra-lemma-Noetherian-etale-extension},
 \item dimension $d$, see
-More Algebra, Lemma \ref{more-algebra-lemma-dimension-etale-extension},
+More on Algebra, Lemma \ref{more-algebra-lemma-dimension-etale-extension},
 \item regular, see
-More Algebra, Lemma \ref{more-algebra-lemma-regular-etale-extension},
+More on Algebra, Lemma \ref{more-algebra-lemma-regular-etale-extension},
 \item discrete valuation ring, follows from (2), (3), and
 Algebra, Lemma \ref{algebra-lemma-characterize-dvr},
 \item reduced, see
-More Algebra, Lemma \ref{more-algebra-lemma-henselization-reduced},
+More on Algebra, Lemma \ref{more-algebra-lemma-henselization-reduced},
 \item normal, see
-More Algebra, Lemma \ref{more-algebra-lemma-henselization-normal},
+More on Algebra, Lemma \ref{more-algebra-lemma-henselization-normal},
 \item Noetherian and depth $k$, see
-More Algebra, Lemma \ref{more-algebra-lemma-henselization-depth},
+More on Algebra, Lemma \ref{more-algebra-lemma-henselization-depth},
 \item Noetherian and Cohen-Macaulay, see
-More Algebra, Lemma \ref{more-algebra-lemma-henselization-CM},
+More on Algebra, Lemma \ref{more-algebra-lemma-henselization-CM},
 \end{enumerate}
 There are more properties for which this holds, for example G-ring and
 Nagata. If we every need these we will add them here

tags/tags

@@ -14239,3 +14239,16 @@
 0BBF,decent-spaces-lemma-birational-isomorphism-over-dense-open
 0BBG,decent-spaces-lemma-birational-induced-morphism-normalizations
 0BBH,decent-spaces-lemma-normalization-normal
+0BBI,algebra-lemma-blowup-add-principal
+0BBJ,more-algebra-lemma-blowup-module
+0BBK,topologies-lemma-no-set-of-fpqc-covers-is-initial
+0BBL,spaces-properties-remark-list-properties-local-ring-local-etale-topology
+0BBM,spaces-properties-lemma-quotient-separated
+0BBN,decent-spaces-lemma-filter-quasi-compact
+0BBP,decent-spaces-lemma-decent-space-elementary-etale-neighbourhood
+0BBQ,spaces-over-fields-lemma-modification-normal-iso-over-codimension-1
+0BBR,resolve-section-normalized-blowups
+0BBS,resolve-definition-normalized-blowup
+0BBT,resolve-lemma-dominate-by-normalized-blowing-up
+0BBU,resolve-lemma-dualizing-rational
+0BBV,resolve-lemma-rational-to-gorenstein