The Noetherian Case of Bayart's Power-Series Question

Viet-Hoang Tran, Dung V. Nguyen, Quang X. Nguyen +2

Let $R$ be a commutative Noetherian ring. We prove that if the one-variable formal power-series ring $R[[x]]$ is a unique factorization domain, then so is the two-variable formal p…