1 problem

Ausoni–Rognes chromatic redshift conjecture. The algebraic $\mathrm{K}$-theory of an $\mathbb E_1$-ring spectrum of fp type $n$ is fp of type $n+1$.