Diana Ratiu

Learn More
The use of classical logic for some combinatorial proofs, as it is the case with Ramsey's theorem, can be localized in the Infinite Pigeonhole (IPH) principle, stating that any infinite sequence which is finitely colored has an infinite monochromatic subsequence. Since in general there is no computable functional producing such an infinite subsequence, we(More)
  • 1