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日在佛罗里达大学盖恩斯维尔大学举行，每年将在3月初在佛罗里达大学举行2天的会议。东南逻辑研讨会系列为设定的理论家和计算理论家定期见面和两个领域之间的互动提供了一个论坛，继续产生新的数学思想。会议系列在地理方面也是独一无二的：在美国的东南地区，没有其他常规的数学逻辑会议进行。每个会议将以数学逻辑上的高级演讲者进行三个全体会议，而两个特殊会议则是一项特殊会议，一个是计算理论，另一项是集合理论。组织者预计每年约有30名参与者。有关座谈会的更多详细信息将在https://people.clas.ufl.edu/zapletal/south-eastern-logic-symposium-2020/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