Enveloping algebras of double Poisson-Ore extensions

It is proved that the Poisson enveloping algebra of a double Poisson-Ore extension is an iterated double Ore extension. As an application, properties that are preserved under iterated double Ore extensions are invariants of the Poisson enveloping algebra of a double Poisson-Ore extension.