An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

Publisher： Cambridge University Press

E-ISSN： 1943-5886|70|4|1171-1209

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.70, Iss.4, 2005-12, pp. : 1171-1209

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

On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency

By  

The Journal of Symbolic Logic, Vol. 71, Iss. 4, 2006-12 ,pp. : 1189-1199

Cambridge University Press

Access to resources Recommend Favorite

On the consistency of an axiom of enumerability

By  

The Journal of Symbolic Logic, Vol. 20, Iss. 1, 1955-03 ,pp. : 29-30

Cambridge University Press

Access to resources Recommend Favorite

The consistency of the axiom of universality for the ordering of cardinalities

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 502-509

Cambridge University Press

Access to resources Recommend Favorite

Report on some investigations concerning the consistency of the axiom of reducibility

By  

The Journal of Symbolic Logic, Vol. 16, Iss. 1, 1951-03 ,pp. : 35-42

Cambridge University Press

Access to resources Recommend Favorite

The consistency of system Q

By  

The Journal of Symbolic Logic, Vol. 46, Iss. 1, 1981-03 ,pp. : 67-76

Cambridge University Press

Access to resources Recommend Favorite