Double-exponential inseparability of Robinson subsystem Q ₊

E-ISSN： 1943-5886|76|1|94-124

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.76, Iss.1, 2011-03, pp. : 94-124

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

Interpretability in Robinson's Q

Bulletin of Symbolic Logic, Vol. 19, Iss. 3, 2013-09 ,pp. : 289-317

Cambridge University Press

Access to resources Recommend Favorite

Burgess’ PV is Robinson’s Q

The Journal of Symbolic Logic, Vol. 72, Iss. 2, 2007-06 ,pp. : 619-624

Cambridge University Press

Access to resources Recommend Favorite

Function classes for double exponential integration formulas

By Tanaka Ken'ichiro

Numerische Mathematik, Vol. 111, Iss. 4, 2009-02 ,pp. : 631-655

Springer Publishing Company

Access to resources Recommend Favorite

Uniform inseparability in explicit mathematics

The Journal of Symbolic Logic, Vol. 64, Iss. 1, 1999-03 ,pp. : 313-326

Cambridge University Press

Access to resources Recommend Favorite

How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q

The Journal of Symbolic Logic, Vol. 67, Iss. 1, 2002-03 ,pp. : 465-496

Cambridge University Press

Access to resources Recommend Favorite