Ramsey Theory and Computability: Rome

该会议奖为美方与会者出席2018年7月9日至13日在意大利罗马举行的《拉姆齐理论与可计算性理论研讨会》提供部分差旅支持。研讨会寻求利用逆数学的一系列最新成果，更具体地说，是可计算性理论和组合学交叉领域的最新进展。将支持美国演讲者和学生的混合。工作坊将集中于组合原理的可计算性理论和证明论强度，例如拉姆齐关于对的定理和Hindman定理。有关研讨会的更多信息可以在https://www3.nd.edu/~cholak/Colosseum.htmlThis上找到，该奖项反映了国家科学基金会的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This conference award provides partial travel support for US participants to attend the "Workshop on Ramsey Theory and Computability Theory", to be held in Rome, Italy, in July 9-13, 2018. The workshop seeks to capitalize on a string of recent results in reverse mathematics, more specifically, recent advances at the intersection of computability theory and combinatorics. A mixture of US based speakers and students will be supported. The workshop will focus on the computability-theoretic and proof-theoretic strength of combinatorial principles such as Ramsey's Theorem for pairs and Hindman's Theorem. More information on the workshop can be found at https://www3.nd.edu/~cholak/Colosseum.htmlThis award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.