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

Browse other questions tagged or ask your own question.