Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule

DOI10.2969/jmsj/02230308zbMath0191.29401OpenAlexW1966651244WikidataQ114585010 ScholiaQ114585010MaRDI QIDQ2537964

Mariko Yasugi

Publication date: 1970

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/02230308

zbMATH Keywords

algebraic logic, model theory

Related Items

An extension of the omega-rule ⋮ The machinery of consistency proofs ⋮ Gentzen reduction revisited ⋮ Some properties of ordinal diagrams ⋮ Interpreting the compositional truth predicate in models of arithmetic ⋮ Theory of proofs (arithmetic and analysis)