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

1970-01-01T00:00:00Z (GMT) by Takeuti Mariko Yasugi
Mathematics Technical Report