History of tag 0ANU
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-12-29 |
512bf16 |
Fix typo in formal-spaces
|
|
changed the proof
|
2016-05-05 |
904f045 |
Improve exposition f local property of WAdm^{count}
Thanks to Brian Conrad
http://stacks.math.columbia.edu/tag/0ANF#comment-1959
http://stacks.math.columbia.edu/tag/0ANU#comment-1973
|
|
moved the statement to file formal-spaces.tex
|
2016-05-04 |
89d7504 |
Move two sections from restricted to formal-spaces
Absolutely no change in mathematical content
|
|
changed the statement and the proof
|
2016-05-04 |
89d7504 |
Move two sections from restricted to formal-spaces
Absolutely no change in mathematical content
|
|
changed the statement and the proof
|
2016-05-02 |
a555a1b |
Fix error in Lemma 0ANU
Thanks to Brian Conrad for pointing this out
http://stacks.math.columbia.edu/tag/0ANU#comment-1973
The mistake was using Lemma 07RD without checking the finiteness
assumption in that lemma. Fixed by replacing property (b) by a stronger
condition where we ask for a confinal system of weak ideals of
definition with the desired property.
Also: added a new lemma which explains that if we work with admissible
topological rings and ideals of definition (in stead of weakly
admissible topological rings and weak ideals of definition), then the
lemma is true as it was formulated before this change...
|
|
assigned tag 0ANU
|
2014-09-21 |
99bc65e
|
Tags: added new tags
|
|
changed the statement and the proof
|
2014-09-20 |
d1fbb16 |
Improved handling relationship morphisms and ring maps
|
|
created statement with label lemma-quotient-restricted-power-series in restricted.tex
|
2014-09-17 |
003bbd8 |
Ring theoretic counterpart of locally of finite type
for morphisms between locally countably indexed formal
algebraic spaces
|