Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds

E-ISSN： 1943-5886|69|1|265-286

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.69, Iss.1, 2004-03, pp. : 265-286

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

LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE

The Journal of Symbolic Logic, Vol. 80, Iss. 2, 2015-04 ,pp. : 450-476

Cambridge University Press

Access to resources Recommend Favorite

Provability of the pigeonhole principle and the existence of infinitely many primes

The Journal of Symbolic Logic, Vol. 53, Iss. 4, 1988-12 ,pp. : 1235-1244

Cambridge University Press

Access to resources Recommend Favorite

The polynomial and linear hierarchies in models where the weak pigeonhole principle fails

The Journal of Symbolic Logic, Vol. 73, Iss. 2, 2008-06 ,pp. : 578-592

Cambridge University Press

Access to resources Recommend Favorite

Geometric Cardinal Invariants, Maximal Functions and a Measure Theoretic Pigeonhole Principle

Bulletin of Symbolic Logic, Vol. 11, Iss. 4, 2005-12 ,pp. : 517-525

Cambridge University Press

Access to resources Recommend Favorite

Matrix identities and the pigeonhole principle

By Soltys Michael

Archive for Mathematical Logic, Vol. 43, Iss. 3, 2004-04 ,pp. : 351-357

Springer Publishing Company

Access to resources Recommend Favorite