A NEW COMPUTATION OF THE Σ-ORDINAL OF KP_ω

E-ISSN： 1943-5886|79|1|306-324

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.79, Iss.1, 2014-04, pp. : 306-324

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

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

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

Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”

The Journal of Symbolic Logic, Vol. 38, Iss. 1, 1973-03 ,pp. : 59-68

Cambridge University Press

Access to resources Recommend Favorite

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

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

Cambridge University Press

Access to resources Recommend Favorite

Classification trees for ordinal variables

By Piccarreta Raffaella

Computational Statistics, Vol. 23, Iss. 3, 2008-07 ,pp. : 407-427

Springer Publishing Company

Access to resources Recommend Favorite