Workshop in Inner Model Theory and Descriptive Set Theory

内模型理论和描述集合论研讨会

• 批准号: 1229043
• 负责人: Stephen Jackson
• 金额: $ 1.27万
• 依托单位: University of North Texas
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-03-01 至 2013-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1229043&HistoricalAwards=false
• 关键词: Workshop; Inner; Model; Theory; Descriptive

This proposal is to support a three day workshop in inner-model theory and descriptive set theory to be held June 1-3, 2012 at the University of North Texas. The workshop will be held immediately prior to a conference in logic and dynamics to be held at UNT June 4-8, 2012. The workshop will bring together the leading experts in an active and central area of mathematical logic, inner model theory, as well as experts in associated areas of descriptive set theory. The workshop atmosphere should be conducive to an exchange of ideas among the attendees as well as the dissemination of research results and ideas the experts have been working on. By holding the conference in proximity to the logic/dynamics conference, we feel it also has the possibility of attracting an expanded set of participants. Support for the workshop will allow us to support graduate student travel to the workshop and thereby enhance the impact. We will make publicly available the slides and lecture notes from the workshop to further the information exchange. Having the workshop at UNT will enhance the RTG program at UNT and allow the RTG post-docs and graduate students to interact with leaders in related, but different fields of logic. As with the logic/dynamics conference, we will, where possible, seek to increase the presence of women and underrepresented groups.

该建议是支持将于2012年6月1日至3日在北德克萨斯大学举行的内模型理论和描述性理论的三天研讨会。研讨会将在2012年6月4日至8日举行的逻辑和动态会议之前立即举行。研讨会将汇集数学逻辑，内部模型理论的活跃和中心领域的领先专家作为描述性集理论相关领域的专家。研讨会的氛围应有利于与会者之间的思想交流，以及专家一直在努力的研究结果和思想的传播。通过在逻辑/动力会议附近举行会议，我们认为它也有可能吸引扩大的参与者。对研讨会的支持将使我们能够支持研究生前往研讨会，从而增强影响。我们将公开提供车间中的幻灯片和讲义，以进一步提供信息交换。在UNT举行的研讨会将增强UNT的RTG计划，并允许RTG后DOC和研究生与相关但不同的逻辑领域的领导者互动。与逻辑/动态会议一样，我们将在可能的情况下寻求增加妇女和代表性不足的群体的存在。