Cut elimination theorem for second order arithmetic with the Π<sup>1</sup><sub>1</sub>-comprehension axiom and the ω-rule

DOI Web Site 2 Citations

Bibliographic Information

Other Title
  • Cut elimination theorem for second order arithemetic with the Π11-comprehension axiom and the ω-rule
  • Cut elimination theorem for second order arithemetic with the パイ 11-comprehension axiom and the オメガ-rule
  • Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule

Search this article

Journal

Citations (2)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top