Ordinals connected with formal theories for transfinitely iterated inductive definitions

E-ISSN： 1943-5886|43|2|161-182

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.43, Iss.2, 1978-06, pp. : 161-182

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

Provable wellorderings of formal theories for transfinitely iterated inductive definitions

The Journal of Symbolic Logic, Vol. 43, Iss. 1, 1978-03 ,pp. : 118-125

Cambridge University Press

Access to resources Recommend Favorite

The proof-theoretic analysis of transfinitely iterated fixed point theories

The Journal of Symbolic Logic, Vol. 64, Iss. 1, 1999-03 ,pp. : 53-67

Cambridge University Press

Access to resources Recommend Favorite

First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo

The Journal of Symbolic Logic, Vol. 66, Iss. 3, 2001-09 ,pp. : 1073-1089

Cambridge University Press

Access to resources Recommend Favorite

Short definitions of the ordinals ¹

The Journal of Symbolic Logic, Vol. 31, Iss. 3, 1966-09 ,pp. : 409-414

Cambridge University Press

Access to resources Recommend Favorite

The proof-theoretic analysis of transfinitely iterated quasi least fixed points

The Journal of Symbolic Logic, Vol. 71, Iss. 3, 2006-09 ,pp. : 721-746

Cambridge University Press

Access to resources Recommend Favorite