South-Eastern Logic Symposium

东南逻辑研讨会

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

The PIs will organize an annual weekend conference at University of Florida in Gainesville. The conference will concentrate on set theory, computability and their interactions. The expected audience will consist of three or four senior speakers and a greater number of graduate students and postdoctoral researchers, with geographical emphasis on the southeastern region, currently underserved by similar events. The purpose of the proposal is to provide a forum for set theorists and computability theorists to meet on a regular basis. After the end of series of Southeast Logic Symposia in 2006, no such forum exists; indeed, in the southeastern region no regular mathematical logic meetings take place. At the same time, the conversation of the two fields has received new impetus with the study of countable equivalence relations similar to the Turing equivalence.The proposal will fund a series of weekend annual conferences concentrating on set theory, computability, and their interactions. The series will take place at University of Florida in Gainesville, at the center of the under-served southeastern region. The funding will in its greater part enable young researchers to attend the conference, improving their communication and networking; a smaller part of the funding will be spent on senior speakers, whose lectures should attract broadest possible audience. New lines of interaction between set theory and computability appeared in the last couple of years, and they will be at the focus of the conference series.

PI将在盖恩斯维尔的佛罗里达大学组织一次年度周末会议。会议将集中在集合论，可计算性及其相互作用。预期的听众将包括三到四位资深演讲者和更多的研究生和博士后研究人员，地理重点是东南地区，目前类似的活动服务不足。该提案的目的是为集合理论家和可计算性理论家提供一个定期会面的论坛。在2006年东南逻辑研讨会系列结束后，没有这样的论坛存在;事实上，在东南地区没有定期的数理逻辑会议发生。与此同时，这两个领域的对话已经收到了新的动力与可数等价关系的研究类似的图灵equivalents.The建议将资助一系列的周末年度会议集中在集合论，可计算性，以及它们的相互作用.该系列将在盖恩斯维尔的佛罗里达大学举行，该大学位于服务不足的东南部地区的中心。大部分资金将使年轻研究人员能够参加会议，改善他们的沟通和网络;一小部分资金将用于资深演讲者，他们的演讲将吸引尽可能广泛的听众。在过去的几年里，集合论和可计算性之间出现了新的相互作用，它们将成为系列会议的焦点。