Power series over generalized Krull domains

Abstract

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[[X]] of formal power series over R a generalized Krull domain? We show that the answer is negative.