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

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.