-категоричные коммутативные кольца
We show that the property of a spectral space, to be a spectral subspace of the real spectrum of a commutative ring, is not expressible in the infinitary first order language of its defining lattice. This generalises a result of Delzell and Madden which says that not every completely normal spectral space is a real spectrum.
We give bad (with respect to the reverse inclusion ordering) sequences of monomial ideals in two variables with Ackermannian lengths and extend this to multiple recursive lengths for more variables.
An -module has an almost trivial dual if there are no epimorphisms from to the free -module of countable infinite rank . For every natural number , we construct arbitrarily large separable -free -modules with almost trivial dual by means of Shelah’s Easy Black Box, which is a combinatorial principle provable in ZFC.