The ordinals of the systems of second order arithmetic with the provably Δ^1_2-comprehension axiom and with the Δ^1_2-comprehension axiom respectively
収録刊行物
-
- Jap. J. Math.
-
Jap. J. Math. 1973