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日在意大利罗马举行的“ Ramsey理论和可计算理论的研讨会”。该研讨会旨在利用反向数学的一系列结果来利用一系列反向数学的结果，更具体地说，是在计算性理论和组合设备相交的最新进展。将支持我们的演讲者和学生的混合。 该研讨会将重点关注组合原理的可计算性理论和证明理论强度，例如Ramsey的Pairs和Hindman定理。 有关研讨会的更多信息，请访问https://www3.nd.edu/~cholak/colosseum.htmlthis Award反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛的影响审查标准通过评估来进行评估的。