History of tag 0APU
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
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 statement and the proof
|
2022-04-09 |
0ff2cb0 |
More general stuff about topological rings
Sort of fun definition of a "weakly adic" topological ring. Not sure
about the choice of the terminology... let me know if you have a better
one.
|
|
changed the proof
|
2015-08-05 |
786d6ff |
Split section on completion into two
One for general rings and one for Noetherian rings
Also upgraded lemmas
-- lemma-hathat-finitely-generated
-- lemma-completion-Noetherian
in order to simplify references later...
|
|
assigned tag 0APU
|
2014-10-03 |
9a68c95
|
Tags: Added new tags
|
|
created statement with label lemma-taut-is-adic in formal-spaces.tex
|
2014-09-21 |
e669e07 |
Taut equals adic in the adic* case
|