|
|||||
|
|
Carlson-Simpson's lemma and applications in reverse mathematics |
|
| Institution: | 1. School of Mathematics and Statistics, HNP-LAMA, Central South University, ChangSha 410083, People''s Republic of China;2. ENS Lyon, 46 allée d''Italie, 69007 Lyon, France;3. CNRS, Équipe de Logique, Université de Paris, Paris, France |
| Abstract: | |
| Keywords: | Variable words Carlson-Simpson lemma Reverse mathematics Big Ramsey degrees |
| 本文献已被 ScienceDirect 等数据库收录！ | |