Subject: Frogs and Pigeons
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-03-08 06:24:37 GMT (1 year, 9 weeks, 9 hours and 30 minutes ago)
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