Statistics for tag 00MA
| tag creation | last update | |
|---|---|---|
| Jun 10, 2008 | Aug 3, 2018 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 5 |
| number of results used in preliminary results | 16 |
| number of chapters used | 3 |
| number of sections used | 10 |
| number of results (indirectly) using this tag | 3920 |
Tags (directly) using this result
- Lemma 10.97.2
in Section 10.97: Completion for Noetherian rings
(go to statistics) - Lemma 10.97.8
in Section 10.97: Completion for Noetherian rings
(go to statistics) - Lemma 10.160.2
in Section 10.160: The Cohen structure theorem
(go to statistics) - Proposition 15.49.2
in Section 15.49: Formal smoothness and regularity
(go to statistics) - Proposition 15.89.19
in Section 15.89: Formal glueing of module categories
(go to statistics) - Lemma 23.8.1
in Section 23.8: Local complete intersection rings
(go to statistics) - Lemma 23.8.2
in Section 23.8: Local complete intersection rings
(go to statistics) - Lemma 23.8.3
in Section 23.8: Local complete intersection rings
(go to statistics) - Proposition 23.8.4
in Section 23.8: Local complete intersection rings
(go to statistics) - Lemma 23.9.1
in Section 23.9: Local complete intersection maps
(go to statistics) - Proposition 23.9.2
in Section 23.9: Local complete intersection maps
(go to statistics) - Lemma 30.20.6
in Section 30.20: The theorem on formal functions
(go to statistics) - Lemma 30.23.6
in Section 30.23: Coherent formal modules
(go to statistics) - Theorem 51.11.6
in Section 51.11: Finiteness of local cohomology, II
(go to statistics) - Lemma 52.12.7
in Section 52.12: Algebraization of formal sections, II
(go to statistics) - Lemma 69.22.6
in Section 69.22: The theorem on formal functions
(go to statistics) - Lemma 69.22.8
in Section 69.22: The theorem on formal functions
(go to statistics) - Lemma 69.22.9
in Section 69.22: The theorem on formal functions
(go to statistics) - Lemma 88.2.2
in Section 88.2: Two categories
(go to statistics) - Lemma 88.3.2
in Section 88.3: A naive cotangent complex
(go to statistics) - Lemma 88.3.3
in Section 88.3: A naive cotangent complex
(go to statistics) - Lemma 88.3.6
in Section 88.3: A naive cotangent complex
(go to statistics) - Lemma 88.14.1
in Section 88.14: Rig-closed points
(go to statistics) - Lemma 88.15.6
in Section 88.15: Rig-flat homomorphisms
(go to statistics) - Lemma 93.8.10
in Section 93.8: Rings
(go to statistics) - Lemma 93.12.4
in Section 93.12: Deformations of completions
(go to statistics)