A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection

E-ISSN： 1943-5886|71|4|1237-1283

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.71, Iss.4, 2006-12, pp. : 1237-1283

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Ordinal diagrams for Π₃-reflection

The Journal of Symbolic Logic, Vol. 65, Iss. 3, 2000-09 ,pp. : 1375-1394

Cambridge University Press

Access to resources Recommend Favorite

A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams

The Journal of Symbolic Logic, Vol. 52, Iss. 3, 1987-09 ,pp. : 577-581

Cambridge University Press

Access to resources Recommend Favorite

Ordinal analysis of terms of finite type

The Journal of Symbolic Logic, Vol. 45, Iss. 3, 1980-09 ,pp. : 493-504

Cambridge University Press

Access to resources Recommend Favorite

A Model-Theoretic Approach to Ordinal Analysis

Bulletin of Symbolic Logic, Vol. 3, Iss. 1, 1997-03 ,pp. : 17-52

Cambridge University Press

Access to resources Recommend Favorite

Recursion in Kolmogorov's R-operator and the ordinal σ ₃

The Journal of Symbolic Logic, Vol. 51, Iss. 1, 1986-03 ,pp. : 1-11

Cambridge University Press

Access to resources Recommend Favorite