More Undecidability Results related to Polynomial Termination

Recently we showed that polynomial termination is undecidable.
In this talk I will present additional undecidability results for polynomial termination
over the rationals and reals, and interpretations over the naturals restricted to
linear functions. Additionally, I show that polynomial termination is undecidable even
for omega-terminating systems.