Groundedness property and accessibility of ordinal diagrams

Mariko YASUGI

doi:10.2969/jmsj/03710001

Mariko YASUGI

Author information

JOURNAL FREE ACCESS

1985 Volume 37 Issue 1 Pages 1-16

DOI https://doi.org/10.2969/jmsj/03710001

Details

Published: 1985 Received: May 13, 1983 Available on J-STAGE: October 20, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: October 20, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) G. Takeuti and M. Yasugi, The ordinals of the systems of second order arithmetic with the provably Δ¹₂-comprehension axiom and with the Δ¹₂-comprehension axiom respectively, Japan. J. Math., 41 (1973), 1-67.
2) G. Takeuti, Proof theory, North-Holland, Amsterdam, 1975.
3) G. Takeuti and M. Yasugi, Fundamental sequences of ordinal diagrams, Comment. Math. Univ. St. Pauli, 25 (1976), 1-80.
4) M. Yasugi, Some properties of ordinal diagrams, Nagoya Math. J., 70 (1978), 143-155.
5) M. Yasugi, Self-iterating schemes of ordinal diagrams, Comment. Math. Univ. St. Pauli, 27 (1978), 11-24.
6) M. Yasugi, A progression of consistency proofs, Comment. Math. Univ. St. Pauli, 28 (1980), 31-49.
7) G. Takeuti and M. Yasugi, An accessibility proof of ordinal diagrams, J. Math. Soc. Japan, 33 (1981), 1-21.
8) G. Takeuti, Proof theory and set theory, to appear.

Right : [1] G. Takeuti and M. Yasugi, The ordinals of the systems of second order arithmetic with the provably Δ¹₂-comprehension axiom and with the Δ¹₂-comprehension axiom respectively, Japan. J. Math., 41 (1973), 1-67.
[2] G. Takeuti, Proof theory, North-Holland, Amsterdam, 1975.
[3] G. Takeuti and M. Yasugi, Fundamental sequences of ordinal diagrams, Comment. Math. Univ. St. Pauli, 25 (1976), 1-80.
[4] M. Yasugi, Some properties of ordinal diagrams, Nagoya Math. J., 70 (1978), 143-155.
[5] M. Yasugi, Self-iterating schemes of ordinal diagrams, Comment. Math. Univ. St. Pauli, 27 (1978), 11-24.
[6] M. Yasugi, A progression of consistency proofs, Comment. Math. Univ. St. Pauli, 28 (1980), 31-49.
[7] G. Takeuti and M. Yasugi, An accessibility proof of ordinal diagrams, J. Math. Soc. Japan, 33 (1981), 1-21.
[8] G. Takeuti, Proof theory and set theory, to appear.

Date of correction: October 20, 2006 Reason for correction: - Correction: PDF FILE Details: -

Corresponding author

Correction information

Register with J-STAGE for free!