A boundedness theorem in ID 1(W)

Publisher： Cambridge University Press

E-ISSN： 1943-5886|51|4|942-947

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.51, Iss.4, 1986-12, pp. : 942-947

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

Boundedness Is Redundant in a Theorem of Daubechies

By Cai T.   Shen J.  

Applied and Computational Harmonic Analysis, Vol. 6, Iss. 3, 1999-05 ,pp. : 400-404

Academic Press

Access to resources Recommend Favorite

A continuity principle, a version of Baire's theorem and a boundedness principle

By  

The Journal of Symbolic Logic, Vol. 73, Iss. 4, 2008-12 ,pp. : 1354-1360

Cambridge University Press

Access to resources Recommend Favorite

A generalisation of Mackey's theorem and the uniform boundedness principle

By  

Bulletin of the Australian Mathematical Society, Vol. 40, Iss. 1, 1989-08 ,pp. : 123-128

Cambridge University Press

Access to resources Recommend Favorite

A lambda proof of the P-W theorem

By  

The Journal of Symbolic Logic, Vol. 65, Iss. 4, 2000-12 ,pp. : 1841-1849

Cambridge University Press

Access to resources Recommend Favorite

A theory of formal truth arithmetically equivalent to ID1

By  

The Journal of Symbolic Logic, Vol. 55, Iss. 1, 1990-03 ,pp. : 244-259

Cambridge University Press

Access to resources Recommend Favorite