Open Access
Translator Disclaimer
July, 1970 Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule
Mariko YASUGI
J. Math. Soc. Japan 22(3): 308-324 (July, 1970). DOI: 10.2969/jmsj/02230308
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
17 PAGES


SHARE
Vol.22 • No. 3 • July, 1970
Back to Top