Provable wellorderings of formal theories for transfinitely iterated inductive definitions

E-ISSN： 1943-5886|43|1|118-125

ISSN： 0022-4812

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

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

Ordinals connected with formal theories for transfinitely iterated inductive definitions

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

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

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

Functional interpretation and inductive definitions

The Journal of Symbolic Logic, Vol. 74, Iss. 4, 2009-12 ,pp. : 1100-1120

Cambridge University Press

Access to resources Recommend Favorite