History of tag 0AKP
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-04-11 |
9be8653 |
Update formal-spaces to match new definitions
|
|
changed the statement and the proof
|
2022-04-11 |
c84e5d2 |
Introduce more types of formal algebraic spaces
It seems worthwhile to do this, but it won't make the chapter on formal
algebraic spaces easier to grok. Still, it seems to me that the notion
of what is currently called "locally weakly adic" is the *correct*
replacement of "adic" formal schemes.
|
|
assigned tag 0AKP
|
2014-07-24 |
98b9f96
|
Tags: Added new tags
|
|
created statement with label lemma-property-goes-up-affine-morphism in formal-spaces.tex
|
2014-07-17 |
29fa1cc |
Descent result for "of finite ideal type"
We are going to call this condition adic* because it is shorter than the
terminology "of finite ideal type" which is used in Fujiwara-Kato. The
descent result allows us to define the notion of a ``locally adic*''
formal algebraic space (we may change this later into just "adic*").
|