8
$\begingroup$

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?

Thanks.

Improve this question
$\endgroup$

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.