Publisher: Cambridge University Press
E-ISSN: 1943-5886|78|4|1025-1035
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.78, Iss.4, 2013-12, pp. : 1025-1035
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 optimality of induction as an axiomatization of arithmetic
The Journal of Symbolic Logic, Vol. 48, Iss. 1, 1983-03 ,pp. :
A small reflection principle for bounded arithmetic
The Journal of Symbolic Logic, Vol. 59, Iss. 3, 1994-09 ,pp. :
Some independence results for Peano arithmetic
The Journal of Symbolic Logic, Vol. 43, Iss. 4, 1978-12 ,pp. :
Random reals, the rainbow Ramsey theorem, and arithmetic conservation
The Journal of Symbolic Logic, Vol. 78, Iss. 1, 2013-03 ,pp. :