Interpretability in Robinson's Q

E-ISSN： 1943-5894|19|3|289-317

ISSN： 1079-8986

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

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

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

Double-exponential inseparability of Robinson subsystem Q ₊

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

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

Lattices of interpretability types of varieties

By Smirnov D.

Algebra and Logic, Vol. 44, Iss. 2, 2005-03 ,pp. : 109-116

Springer Publishing Company

Access to resources Recommend Favorite

The interpretability logic of Peano arithmetic

The Journal of Symbolic Logic, Vol. 55, Iss. 3, 1990-09 ,pp. : 1059-1089

Cambridge University Press

Access to resources Recommend Favorite