Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AIK

Go back to the tag's page.

type time link
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.
changed the proof 2017-03-13 931073a
Structure sheaf formal algebraic space (bis)

Actually state what is shown...
changed the statement and the proof 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*").
assigned tag 0AIK 2014-07-15 43a6949
Tags: Added new tags
created statement with label lemma-implications-between-types in formal-spaces.tex 2014-07-14 78abd08
Countably indexed affine formal algebraic spaces

Better terminology anybody?