symmetric monoidal (∞,1)-category of spectra
An ordered Artinian local ring is a local ring which is both an ordered local ring and an Artinian local ring: a commutative ring $R$ with a strict order $\lt$ such that the positive elements form a multiplicative subset of $R$, the sum of two positive elements is positive, every element $a \in R$ is invertible if and only if it is positive or negative, and the set of non-invertible elements forms a nilradical.
Last revised on December 14, 2022 at 00:36:38. See the history of this page for a list of all contributions to it.