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年的东南逻辑研讨会系列结束后，没有这样的论坛；确实，在东南地区，没有定期进行数学逻辑会议。同时，这两个领域的对话已经获得了新的动力，研究了与图灵对等相似的可数等价关系的研究。该提案将资助一系列周末的年度会议，集中在集合理论，计算性及其相互作用上。该系列节目将在佛罗里达大学的盖恩斯维尔大学，在服务不足的东南地区中心。资金将在很大程度上使年轻的研究人员能够参加会议，从而改善他们的沟通和网络；较小的资金将用于高级演讲者，他们的演讲应吸引最广泛的受众。在过去的几年中，集合理论与可计算性之间的新互动线将出现，它们将成为会议系列的重点。