A Bézout UFD is a PID.
113152
Prove Principal Ideal Domain from Bezout's condition, and terminating divisibility chain
17440
Differentiation using first principles with rational powers
133775
Is $\mathbb{Z}[\sqrt{-7}]$ a UFD or not?
104198
Anti-wind up scheme in the implementation of PID controller
44945
ACF and PACF for a unit root process
152109
In a UFD if $x$ is irreducible, then $(x)$ is prime
101453
Existence of a Boolean algebra with a unique ultrafilter in ZF
5584
How strong is this second-order version of ZFC?
54957
The necessary and sufficient condition for a unit element in Euclidean Domain
71883
What is required by a process to set its uid to 0 (root)?
137369
Inductive proof of gcd Bezout identity (from Apostol: Math, Analysis 2ed)
119056
If in a UFD every maximal ideal is principal then it is a PID
183
Is there any objective reason to favour d20PFSRD over the Paizo PRD?
113863
The non-existence of non-principal ultrafilters in ZF
85915
Principal prime ideals are minimal among prime ideals in a UFD
136855
Proof that $\mathbb{Z}\left[\frac{1 + \sqrt{-19}}{2}\right]$ is a PID
9873
GCD in a PID persists in extension domains