Author: Arai T.
Publisher: Elsevier
ISSN: 0168-0072
Source: Annals of Pure and Applied Logic, Vol.122, Iss.1, 2003-08, pp. : 1-85
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
About the proof-theoretic ordinals of weak fixed point theories
The Journal of Symbolic Logic, Vol. 57, Iss. 3, 1992-09 ,pp. :
Transfinite ordinals in recursive number theory
The Journal of Symbolic Logic, Vol. 12, Iss. 4, 1947-12 ,pp. :
Order types of ordinals in models of set theory
The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. :