Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AKX

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 2016-05-05 00ce747
Add two words

Thanks to Brian Conrad
http://stacks.math.columbia.edu/tag/0AKX#comment-1957
changed the proof 2015-12-15 9064564
Swtich X and Y

Thanks to Matthew Emerton
http://stacks.math.columbia.edu/tag/0AKX#comment-1723
changed the proof 2014-09-10 42c1b1f
Wrong character in latex label
assigned tag 0AKX 2014-07-24 98b9f96
Tags: Added new tags
created statement with label lemma-type-local 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*").