Cut elimination theorem for second order arithmetic with the Π11-comprehension axiom and the ω-rule

Journal of the Mathematical Society of Japan

Online ISSN : 1881-1167
Print ISSN : 0025-5645
ISSN-L : 0025-5645

Cut elimination theorem for second order arithmetic with the Π¹₁-comprehension axiom and the ω-rule

Mariko YASUGI

Author information

JOURNAL FREE ACCESS

1970 Volume 22 Issue 3 Pages 308-324

Details

Article 1st page

Content from these authors

This article cannot obtain the latest cited-by information.

Favorites & Alerts