Ramsey's theorem for pairs, collection, and proof size.
| Autor: | Kołodziejczyk, Leszek Aleksander1 lak@mimuw.edu.pl, Wong, Tin Lok2 matwong@nus.edu.sg, Yokoyama, Keita3 keita.yokoyama.c2@tohoku.ac.jp |
|---|---|
| Zdroj: | Journal of Mathematical Logic. Aug2024, Vol. 24 Issue 2, p1-40. 40p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|