Ramsey Theory and Computability: Rome

拉姆齐理论和可计算性：罗马

• 批准号: 1822193
• 负责人: Peter Cholak
• 金额: $ 2.5万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-05-01 至 2019-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1822193&HistoricalAwards=false
• 关键词: Ramsey; Theory; Computability; Rome

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.

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