Southeastern Logic Symposium

东南逻辑研讨会

• 批准号: 1945890
• 负责人: Jindrich Zapletal
• 金额: $ 4.73万
• 依托单位: University of Florida
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-01-01 至 2024-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1945890&HistoricalAwards=false
• 关键词: Southeastern; Logic; Symposium

This award supports participants of the Southeastern Logic Symposia in 2020-2022. The first meeting will take place February 29-March 1, 2020 at the University of Florida, Gainesville, and there will be one 2-day meeting per year, taking place at the University of Florida in early March. The Southeastern Logic Symposia series provides a forum for set theorists and computability theorists to meet on a regular basis and the interactions between the two fields keep producing new mathematical ideas. The conference series is also unique in a geographic respect: in the south-eastern region of the US, no other regular mathematical logic meetings take place.Each meeting will feature three plenary talks given by senior speakers in mathematical logic, and two special sessions, one in computability theory and another in set theory. The organizers expect roughly 30 participants each year. More details about the symposium will be available at https://people.clas.ufl.edu/zapletal/south-eastern-logic-symposium-2020/This 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.

该奖项支持 2020-2022 年东南逻辑研讨会的参与者。第一次会议将于 2020 年 2 月 29 日至 3 月 1 日在佛罗里达大学盖恩斯维尔分校举行，每年将有一次为期 2 天的会议，于 3 月初在佛罗里达大学举行。东南逻辑研讨会系列为集合理论家和可计算性理论家提供了一个定期会面的论坛，两个领域之间的相互作用不断产生新的数学思想。该系列会议在地理方面也是独一无二的：在美国东南部地区，没有其他定期举行的数理逻辑会议。每次会议将由数理逻辑领域的资深演讲者进行三场全体会议，以及两场特别会议，一场关于可计算性理论，另一场关于集合论。组织者预计每年约有 30 名参与者。有关研讨会的更多详细信息，请访问 https://people.clas.ufl.edu/zapletal/south-eastern-logic-symposium-2020/ 该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Generically and coarsely computable isomorphisms

一般和粗略可计算的同构

• DOI: 10.3233/com-210382
• 发表时间: 2022
• 期刊: Computability
• 影响因子: 0.6
• 作者: Calvert, Wesley;Cenzer, Douglas;Harizanov, Valentina
• 通讯作者: Harizanov, Valentina