Logic and Mathematics Conference

逻辑与数学会议

• 批准号: 1001663
• 负责人: Slawomir Solecki
• 金额: $ 1.95万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-02-01 至 2012-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1001663&HistoricalAwards=false
• 关键词: Logic; Mathematics; Conference

The aim of the proposal is to organize a conference on logic, more specifically descriptive set theory and model theory, and its applications. The lectures in the meeting will represent the highest quality work being done in the field. By bringing together major contributors to applications of descriptive set theory and model theory, the conference will help develop new avenues of cooperation and will help familiarize researchers with each others work. Goals of the project include, on the one hand, helping mathematicians learn to use tools coming from logic in their work and, on the other hand, familiarizing logicians with problems and ideas originating in other fields which may resonate with methods and ideas developed within logic. The young researchers whose participation in the meeting will be supported by this project will benefit by directly interacting with the best mathematicians in the field. Attendance in the conference will be a valuable component in their graduate and postgraduate education. The conference will take place at the University of Illinois at Urbana-Champaign in the second half of April 2010.

该提案的目的是组织一次关于逻辑，更具体地说是描述性集合论和模型论及其应用的会议。会议上的讲座将代表该领域正在进行的最高质量的工作。通过汇集描述性集合论和模型论应用的主要贡献者，该会议将有助于开发新的合作途径，并有助于研究人员熟悉彼此的工作。 该项目的目标包括，一方面，帮助数学家在工作中学习使用来自逻辑的工具，另一方面，让逻辑学家熟悉源自其他领域的问题和想法，这些问题和想法可能与逻辑中开发的方法和想法产生共鸣。 受该项目支持参加会议的年轻研究人员将通过与该领域最优秀的数学家直接互动而受益。参加会议将成为他们的研究生和研究生教育的宝贵组成部分。 该会议将于 2010 年 4 月下旬在伊利诺伊大学厄巴纳-香槟分校举行。