Ordinal diagrams for Π₃-reflection

E-ISSN： 1943-5886|65|3|1375-1394

ISSN： 0022-4812

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

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 + Π₃-reflection

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

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

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

Experimental logics and Π₃ ⁰ theories ¹

The Journal of Symbolic Logic, Vol. 42, Iss. 4, 1977-12 ,pp. : 515-522

Cambridge University Press

Access to resources Recommend Favorite

The Π₃-theory of the -enumeration degrees is undecidable

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

Cambridge University Press

Access to resources Recommend Favorite