Publisher： Cambridge University Press
E-ISSN： 1943-5886|75|1|355-371
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.75, Iss.1, 2010-03, pp. : 355-371
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Matrix identities and the pigeonhole principle
Archive for Mathematical Logic, Vol. 43, Iss. 3, 2004-04 ,pp. :
Access to resources
Recommend
Isols and the pigeonhole principle
The Journal of Symbolic Logic, Vol. 54, Iss. 3, 1989-09 ,pp. :
Polynomial size proofs of the propositional pigeonhole principle
The Journal of Symbolic Logic, Vol. 52, Iss. 4, 1987-12 ,pp. :
An induction principle and pigeonhole principles for K-finite sets
The Journal of Symbolic Logic, Vol. 60, Iss. 4, 1995-12 ,pp. :