Undecidability of theories of semirings with fixed points

Anupam Das, Abhishek De, Stepan L. Kuznetsov

In this work we prove the undecidability (and ${\Sigma }_1^0$-completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic…