The ordinals of the systems of second order arithmetic with the provably Δ21-comprehension axiom and with the Δ21-comprehension axiom respectively

Japanese journal of mathematics :transactions and abstracts

Online ISSN : 1861-3624
Print ISSN : 0075-3432

The ordinals of the systems of second order arithmetic with the provably Δ₂¹-comprehension axiom and with the Δ₂¹-comprehension axiom respectively

Author information

JOURNAL FREE ACCESS

1973 Volume 41 Pages 1-67

Details

Article 1st page

Content from these authors

Favorites & Alerts