Statistics for tag 00HQ
| tag creation | last update | |
|---|---|---|
| Jun 8, 2008 | Aug 10, 2011 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 3 |
| number of chapters used | 1 |
| number of sections used | 2 |
| number of results (indirectly) using this tag | 4259 |
Tags (directly) using this result
- Lemma 10.39.17
in Section 10.39: Flat modules and flat ring maps
(go to statistics) - Lemma 10.39.19
in Section 10.39: Flat modules and flat ring maps
(go to statistics) - Lemma 10.39.20
in Section 10.39: Flat modules and flat ring maps
(go to statistics) - Lemma 10.97.10
in Section 10.97: Completion for Noetherian rings
(go to statistics) - Lemma 10.136.2
in Section 10.136: Syntomic morphisms
(go to statistics) - Lemma 10.136.14
in Section 10.136: Syntomic morphisms
(go to statistics) - Lemma 10.168.2
in Section 10.168: Colimits and maps of finite presentation, II
(go to statistics) - Lemma 10.168.10
in Section 10.168: Colimits and maps of finite presentation, II
(go to statistics) - Lemma 15.89.1
in Section 15.89: Formal glueing of module categories
(go to statistics) - Lemma 15.108.6
in Section 15.108: Branches of the completion
(go to statistics) - Lemma 35.16.2
in Section 35.16: Properties of schemes local in the fppf topology
(go to statistics) - Lemma 37.36.1
in Section 37.36: Étale neighbourhoods and branches
(go to statistics) - Lemma 38.7.3
in Section 38.7: Localization and universally injective maps
(go to statistics) - Lemma 61.5.3
in Section 61.5: Constructing w-local affine schemes
(go to statistics) - Lemma 67.42.4
in Section 67.42: Valuative criterion for universal closedness
(go to statistics) - Lemma 67.42.5
in Section 67.42: Valuative criterion for universal closedness
(go to statistics) - Lemma 87.19.14
in Section 87.19: Morphisms representable by algebraic spaces
(go to statistics) - Lemma 88.21.10
in Section 88.21: Rig-surjective morphisms
(go to statistics) - Lemma 110.12.5
in Section 110.12: Nonflat completions
(go to statistics)