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

Author: Arai T.  

Publisher: Elsevier

ISSN: 0168-0072

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

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