Undecidability of theories of semirings with fixed points

Anupam Das, Abhishek De, Stepan L. Kuznetsov

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