Mathematical Sciences: Mid-Atlantic Mathematical Logic Seminar

数学科学：大西洋中部数理逻辑研讨会

• 批准号: 8704751
• 负责人: Lee Stanley
• 金额: $ 1.2万
• 依托单位: Lehigh University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-07-15 至 1989-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8704751&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Mid; Atlantic; Logic

The Mid-Atlantic Mathematical Logic Seminar began in 1982. It now holds four 3-day meetings and several shorter meetings per year. The seminar covers a broad spectrum of mathematical logic with particular emphasis on complexity theory and theoretical computer science, models of arithmetic, model theory and model theoretic algebra, set theory, sub-systems of analysis (the "reverse mathematics" program of H. Friedman and S. Simpson) and topos theory. Foundation funding permits bringing speakers from outside the geographic area, also attendance by graduate students and others without outside support, as well as some incidental expenses. The quality of the seminars has been remarkably high and the cost modest.

中大西洋数理逻辑研讨会始于1982年。 它现在每年举行四次为期三天的会议和几次较短的会议， 年 该研讨会涵盖了广泛的数学逻辑 特别强调复杂性理论和理论 计算机科学，算术模型，模型论与模型 理论代数，集合论，分析的子系统（The H. Friedman和S.辛普森）和 Topos理论 基金会资助允许将演讲者从 在地理区域之外，研究生也出席了会议 和其他没有外界支持的人，以及一些偶然的 费用 研讨会的质量非常高 而且成本适中。