Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic

E-ISSN： 1943-5886|62|2|457-486

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.62, Iss.2, 1997-06, pp. : 457-486

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

Some independence results for Peano arithmetic

The Journal of Symbolic Logic, Vol. 43, Iss. 4, 1978-12 ,pp. : 725-731

Cambridge University Press

Access to resources Recommend Favorite

A theorem on shortening the length of proof in formal systems of arithmetic

The Journal of Symbolic Logic, Vol. 40, Iss. 3, 1975-09 ,pp. : 398-400

Cambridge University Press

Access to resources Recommend Favorite

EXACT UPPER AND LOWER BOUNDS ON THE DIFFERENCE BETWEEN THE ARITHMETIC AND GEOMETRIC MEANS

Bulletin of the Australian Mathematical Society, Vol. 92, Iss. 1, 2015-08 ,pp. : 149-158

Cambridge University Press

Access to resources Recommend Favorite

Generalisations of Turán's main theorems on lower bounds for sums of powers

Bulletin of the Australian Mathematical Society, Vol. 2, Iss. 1, 1970-02 ,pp. : 15-37

Cambridge University Press

Access to resources Recommend Favorite

Practical Stability and Exponential Estimates of Trajectory Bounds for Retarded Systems with Bounded Disturbances

By Hou C. Lakshmikantham J.V.

Journal of Mathematical Analysis and Applications, Vol. 223, Iss. 1, 1998-07 ,pp. : 50-61

Academic Press

Access to resources Recommend Favorite