Department of Mathematics
Server

I will talk about this recent paper. From their abstract and introduction:

Kearnes and Oman explore the relationship between the cardinality of a noetherian integral domain R and its residue fields R/M for various maximal ideals M. In particular, it follows (in ZFC) that there is a noetherian domain of cardinality ℵ₁ with a finite residue field, but the statement "There is a noetherian domain of cardinality ℵ₂ with a finite residue field" is equivalent to the negation of the Continuum Hypothesis.

This work is based on work of C. Shah (2, 3), which unfortunately draws incorrect conclusions from the arguments. Kearnes and Oman provide corrections to incorrect statements, including an incorrect description of the spectrum of R[x], where R is a semilocal domain of dimension 1.

1. Communications in Algebra (38) 3580–3588, 2010.
2. Shah, C. (1996). Affine and projective lines over one-dimensional semilocal domains. Proc. Amer. Math. Soc. 124(3) 697–705.
3. Shah, C. (1997). One-dimensional semilocal rings with residue domains of prescribed cardinalities. Comm. Algebra 25(5) 1641–1654.