Undecidable Hopf bifurcation with undecidable fixed point (Q1893895)

Motivated by Hilbert's sixth problem and its contemporary revisions by V. I. Arnold [\textit{F. E. Browder}: ``Problems of present day mathematics'', Math. developments arising from Hilbert problems, Proc. Symp. Pure Math. 28, 35-79 (1976; Zbl 0326.00002), p. 59] on the recursive decidability of the stability problem for stationary points, the authors give an example of a polynomial dynamical system whose origin is a fixed point, but such that one cannot decide recursively whether bifurcation related to the usual Hopf bifurcation occurs. In addition, the authors investigate several other physico-metamathematical problems; e.g., does there exist an algorithm to decide whether a plane polynomial vector field has a limit cycle? Finally there is a brief discussion relating Fermat's Last Theorem (FLT) and the Hopf bifurcation. A proof of FLT by elementary methods alone still does not exist.