7
$\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.

$\endgroup$

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.