Mathematical Sciences: Greater Boston Logic Conference, Spring 1995

数学科学：大波士顿逻辑会议，1995 年春季

• 批准号: 9415827
• 负责人: Ehud Hrushovski
• 金额: $ 1.6万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-02-01 至 1995-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9415827&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Greater; Boston; Logic

9415827 Hrushovski Since the early 1980's, the Greater Boston Logic Conference has offered a major opportunity for prominent researchers and graduate students alike to meet on an extended and concentrated basis. The Greater Boston Logic Conference, to be held at the Massachusetts Institute of Technology on May 27-30, 1995, is a continuation and expansion of this biennial conference series. Each day of the four-day conference will be divided into morning and afternoon sessions, of which the morning sessions will consist of plenary lectures by the invited speakers, of interest to a general audience of logicians. Each afternoon session will consist of three or more simultaneous workshops, each workshop emphasizing an advanced topic within Model Theory, Recursion Theory, or Set Theory. These will include workshops on Model Theory and Analytic Functions, Applied Stability Theory, Degree Theory, and Inner Model Theory and Fine Structure. The workshops' goal is to aid both established mathematicians and graduate students to break into important, fast developing, and technically difficult areas. Workshop speakers will be encouraged to give complete proofs and to explain the methods and intuition behind them; there will be considerable time devoted to questions and discussion. The majority of the funds provided by the National Science Foundation will defray travel expenses for graduate students and postdocs. Funds will also be used for invited speakers without other grant support. ***

9415827赫鲁晓夫斯基自1980年代初的S以来，大波士顿逻辑会议为杰出的研究人员和研究生提供了一个广泛而集中的会面的重要机会。大波士顿逻辑会议将于1995年5月27-30日在麻省理工学院举行，是这一两年一次的系列会议的延续和扩展。为期四天的会议的每一天将分为上午和下午的会议，其中上午的会议将包括受邀演讲者的全体讲座，一般逻辑学家听众都会感兴趣。每个下午的课程将由三个或更多的同时进行的研讨会组成，每个研讨会强调模型理论、递归理论或集合理论中的一个高级主题。这些课程将包括模型理论和分析函数、应用稳定性理论、程度理论以及内部模型理论和精细结构的工作坊。研讨会的目标是帮助老牌数学家和研究生打入重要的、快速发展的和技术困难的领域。研讨会将鼓励演讲者提供完整的证据，并解释其背后的方法和直觉；将有相当多的时间用于提问和讨论。国家科学基金会提供的大部分资金将用于支付研究生和博士后的旅费。资金也将用于没有其他赠款支持的特邀演讲者。***