Frogs and Pigeons

Giorgi Japaridze <[email protected]> Thu, 8 Mar 2007 06:24:37 +0000 (UTC)

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

Dear Frogs,

I have a question. 

Are there known polynomial size cut-free proofs for (the instances of) the 
pigeonhole principle in CoS? 

Thank you in advance and apologies for my ignorance.

Giorgi