symmetric monoidal (∞,1)-category of spectra
An ordered reduced local ring is a local ring which is both an ordered local ring and an reduced 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 every nilpotent element is equal to zero.
Unlike the theory of ordered fields, the theory of ordered reduced local rings is a coherent theory.
Last revised on January 12, 2023 at 15:33:41. See the history of this page for a list of all contributions to it.