Descending finite projective modules from a Novikov ring 1WCXV5PVZA

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
240VX30AXT	statement	lemma 4.6	arxiv
28AE8C96W5	definition	definition 2.1	arxiv
3ZMG7NKB29	example	example 2.5	arxiv
4H8J4W5X98	statement	proposition 3.8	arxiv
5M7ZZ85PGD	statement	proposition 4.5	arxiv
6PP9ZY2RSW	definition	definition 2.13	arxiv
83HNCQA545	definition	definition 2.15	arxiv
8FM2AXPZ0S	statement	proposition 2.12	arxiv
9JD5T75D6Y	statement	proposition 4.4	arxiv
9RFKBRRB5H	definition	definition 3.1	arxiv
9T3FE9J6RY	definition	definition 2.11	arxiv
BGFBW98JYG	statement	proposition 3.7	arxiv
CTJ1V46DMB	definition	definition 5.1	arxiv
DRCFANEEVX	statement	lemma 2.8	arxiv
DX5QGB224E	statement	lemma 2.16	arxiv
E2J89HC5VY	statement	theorem 1.4	arxiv
FVMKYJ2SMP	statement	proposition 3.5	arxiv
GA9REDG22V	statement	proposition 3.3	arxiv
GNT22QA7NJ	definition	definition 2.9	arxiv
H3TKVSVRCV	statement	lemma 5.2	arxiv
HH9E31P773	statement	lemma 2.14	arxiv
HJ29CAG1ZV	statement	lemma 4.7	arxiv
M3QDBKM1QP	definition	definition 2.4	arxiv
PRZT2V45JH	statement	corollary 5.5	arxiv
Q16M9QXKQA	statement	proposition 4.8	arxiv
RVB03J5XTA	statement	lemma 3.6	arxiv
S1TX6H9PT0	statement	corollary 5.3	arxiv
SQ0YCPWDQN	statement	proposition 4.2	arxiv
TJ4RV8X3KN	statement	lemma 4.1	arxiv
W45H5DG6K3	statement	theorem 1.1	arxiv
WM8Z8FC9DA	statement	theorem 4.9	arxiv
YMAKEB0QH7	statement	proposition 4.3	arxiv
ZWGJB1D6HR	definition	definition 5.4	arxiv