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名参与者。有关研讨会的更多细节将在www.example.com上提供https://people.clas.ufl.edu/zapletal/south-eastern-logic-symposium-2020/This奖项反映了NSF的法定使命，并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。

项目成果

Generically and coarsely computable isomorphisms

一般和粗略可计算的同构

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