Does every model of $I\Delta_0$ has an end extension to a model of $I\Delta_0+\Omega_1$?

In End extensions of models of linearly bounded arithmetic paper the author said this problem is open. I want know is there any progress on this problem?




Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy