For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation 'F interprets R' in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of $∏_1$ (as well as $∑_1$) sentences π such that GB interprets ZF+π is $Σ^0_3$-complete.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.