On the relation between choice and comprehension principles in second order arithmetic1

E-ISSN： 1943-5886|51|2|360-373

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.51, Iss.2, 1986-06, pp. : 360-373

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

INTERPRETATIONS BETWEEN ω-LOGIC AND SECOND-ORDER ARITHMETIC

The Journal of Symbolic Logic, Vol. 79, Iss. 3, 2014-08 ,pp. : 845-858

Cambridge University Press

Access to resources Recommend Favorite

THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Review of Symbolic Logic, Vol. 10, Iss. 2, 2017-02 ,pp. : 357-396

Cambridge University Press

Access to resources Recommend Favorite

Complex analysis in subsystems of second order arithmetic

By Yokoyama Keita

Archive for Mathematical Logic, Vol. 46, Iss. 1, 2007-01 ,pp. : 15-35

Springer Publishing Company

Access to resources Recommend Favorite

The maximal linear extension theorem in second order arithmetic

By Marcone Alberto Shore Richard

Archive for Mathematical Logic, Vol. 50, Iss. 5-6, 2011-07 ,pp. : 543-564

Springer Publishing Company

Access to resources Recommend Favorite

Formalizing non-standard arguments in second-order arithmetic

The Journal of Symbolic Logic, Vol. 75, Iss. 4, 2010-12 ,pp. : 1199-1210

Cambridge University Press

Access to resources Recommend Favorite