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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|52|3|577-581

ISSN： 0022-4812

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

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

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 331-338

Cambridge University Press

Access to resources Recommend Favorite

A comparison of two systems of ordinal notations

By Simmons Harold  

Archive for Mathematical Logic, Vol. 43, Iss. 1, 2004-01 ,pp. : 65-83

Springer Publishing Company

Access to resources Recommend Favorite

Normal functions and constructive ordinal notations

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. : 439-459

Cambridge University Press

Access to resources Recommend Favorite

Ordinal diagrams for Π3-reflection

By  

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

Cambridge University Press

Access to resources Recommend Favorite