Publisher： Cambridge University Press
E-ISSN： 1943-5894|22|1|105-120
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.22, Iss.1, 2016-03, pp. : 105-120
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The model-theoretic ordinal analysis of theories of predicative strength
The Journal of Symbolic Logic, Vol. 64, Iss. 1, 1999-03 ,pp. :
Access to resources
Recommend
Systems of predicative analysis
The Journal of Symbolic Logic, Vol. 29, Iss. 1, 1964-03 ,pp. :
Predicative Fragments of Frege Arithmetic
Bulletin of Symbolic Logic, Vol. 10, Iss. 2, 2004-06 ,pp. :
Bulletin of Symbolic Logic, Vol. 10, Iss. 4, 2004-12 ,pp. :
Systems of predicative analysis, II: Representations of ordinals
The Journal of Symbolic Logic, Vol. 33, Iss. 2, 1968-07 ,pp. :