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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|66|3|1073-1089

ISSN： 0022-4812

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

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

Proof theory for theories of ordinals-I: recursively Mahlo ordinals

By Arai T.  

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

Elsevier

Access to resources Recommend Favorite

Induction and inductive definitions in fragments of second order arithmetic

By  

The Journal of Symbolic Logic, Vol. 70, Iss. 4, 2005-12 ,pp. : 1087-1107

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

Bases for first-order theories and subtheories

By  

The Journal of Symbolic Logic, Vol. 25, Iss. 2, 1960-06 ,pp. : 97-142

Cambridge University Press

Access to resources Recommend Favorite