Power series over generalized Krull domains

We resolve an open problem in commutative algebra and Field Arithmetic, posed by Jarden. Let R be a generalized Krull domain. Is the ring R {left open bracket} X {right open bracket} of formal power series over R a generalized Krull domain? We show that the answer is negative. Moreover, we show that essentially the opposite theorem holds. We prove that if R is a generalized Krull domain which is not a Krull domain, then R {left open bracket} X {right open bracket} is never a generalized Krull domain.