The Freiheitssatz for Poisson algebras

We prove the Freiheitssatz for Poisson algebras in characteristic zero. We also give a new proof of the tameness of automorphisms for two generated free Poisson algebras and show that an analogue of the commutator test theorem is equivalent to the two-dimensional classical Jacobian conjecture.