2
$\begingroup$

Suppose you have a system X=$KP$ + infinity plus $\Sigma_{3}$-collection and $\Delta_{2}$-specification. May $L_{\delta}\vDash X$ for some $\delta$ smaller than all $\Sigma_{3}$ admissible ordinals?

Improve this question
$\endgroup$

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .