The proof-theoretic analysis of transfinitely iterated fixed point theories

Publisher： Cambridge University Press

E-ISSN： 1943-5886|64|1|53-67

ISSN： 0022-4812

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

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

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

About the proof-theoretic ordinals of weak fixed point theories

By  

The Journal of Symbolic Logic, Vol. 57, Iss. 3, 1992-09 ,pp. : 1108-1119

Cambridge University Press

Access to resources Recommend Favorite

Ordinals connected with formal theories for transfinitely iterated inductive definitions

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Provable wellorderings of formal theories for transfinitely iterated inductive definitions

By  

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 1 1 transfinite dependent choice

By Ruede C.  

Annals of Pure and Applied Logic, Vol. 122, Iss. 1, 2003-08 ,pp. : 195-234

Elsevier

Access to resources Recommend Favorite