The Krull dimension of power series rings over non-SFT rings

Let R be a commutative ring with identity. We show that the Krull dimension of the power series ring R〚X〛 can be uncountably infinite, i.e., there exists an uncountably infinite chain of prime ideals in R〚X〛, even if dimR is finite. In fact, we show that dimR〚X〛 is uncountably infinite if R is a non-SFT ring, which is an improvement of Arnold’s result.