Statistics for tag 0AIM
| tag creation | last update | |
|---|---|---|
| Jul 10, 2014 | Jul 15, 2014 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 0 |
| number of results used in preliminary results | 0 |
| number of chapters used | 0 |
| number of sections used | 0 |
| number of results (indirectly) using this tag | 107 |
Tags (directly) using this result
- Lemma 87.11.2
in Section 87.11: Formal algebraic spaces
(go to statistics) - Lemma 87.12.1
in Section 87.12: The reduction
(go to statistics) - Lemma 87.15.1
in Section 87.15: Fibre products
(go to statistics) - Lemma 87.15.2
in Section 87.15: Fibre products
(go to statistics) - Lemma 87.19.4
in Section 87.19: Morphisms representable by algebraic spaces
(go to statistics) - Lemma 87.19.6
in Section 87.19: Morphisms representable by algebraic spaces
(go to statistics) - Lemma 87.20.6
in Section 87.20: Types of formal algebraic spaces
(go to statistics) - Lemma 87.20.8
in Section 87.20: Types of formal algebraic spaces
(go to statistics) - Lemma 87.20.10
in Section 87.20: Types of formal algebraic spaces
(go to statistics) - Lemma 87.21.3
in Section 87.21: Morphisms and continuous ring maps
(go to statistics) - Lemma 87.21.7
in Section 87.21: Morphisms and continuous ring maps
(go to statistics) - Lemma 87.21.12
in Section 87.21: Morphisms and continuous ring maps
(go to statistics) - Lemma 87.21.16
in Section 87.21: Morphisms and continuous ring maps
(go to statistics) - Lemma 87.24.6
in Section 87.24: Morphisms of finite type
(go to statistics) - Lemma 87.30.5
in Section 87.30: Separation axioms for morphisms
(go to statistics) - Lemma 87.32.1
in Section 87.32: Formal algebraic spaces and fpqc coverings
(go to statistics) - Lemma 87.34.6
in Section 87.34: The small étale site of a formal algebraic space
(go to statistics) - Lemma 87.36.2
in Section 87.36: Colimits of formal algebraic spaces
(go to statistics) - Lemma 87.37.2
in Section 87.37: Recompletion
(go to statistics) - Lemma 87.37.7
in Section 87.37: Recompletion
(go to statistics) - Lemma 88.21.14
in Section 88.21: Rig-surjective morphisms
(go to statistics) - Lemma 88.22.1
in Section 88.22: Formal algebraic spaces over cdvrs
(go to statistics) - Lemma 88.22.2
in Section 88.22: Formal algebraic spaces over cdvrs
(go to statistics) - Lemma 88.23.8
in Section 88.23: The completion functor
(go to statistics) - Lemma 88.27.3
in Section 88.27: Algebraization of rig-étale morphisms
(go to statistics)