Publisher： Cambridge University Press
E-ISSN： 1865-5394|5|3|437-557
ISSN： 1865-2433
Source： Journal of K-Theory, Vol.5, Iss.3, 2010-06, pp. : 437-557
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
Forcing on bounded arithmetic II
The Journal of Symbolic Logic, Vol. 63, Iss. 3, 1998-09 ,pp. :
Access to resources
Recommend
Arithmetic Properties of Summands of Partitions II
By Dartyge Cécile Sárközy András
The Ramanujan Journal, Vol. 10, Iss. 3, 2005-12 ,pp. :
Inconsistent models of arithmetic Part II: the general case
The Journal of Symbolic Logic, Vol. 65, Iss. 4, 2000-12 ,pp. :
Complex analysis in subsystems of second order arithmetic
Archive for Mathematical Logic, Vol. 46, Iss. 1, 2007-01 ,pp. :