Mathematical Sciences: Mid-Atlantic Mathematical Logic Seminar

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

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

The Mid-Atlantic Mathematical Logic Seminar (MAMLS) was formed in the fall of 1982. It has held three meetings during each of 1982-83 and 1983-84. In each of 1984-85, 1985-86, 1986- 87, 1987-88, and 1988-89 at least four meetings were held. 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.

中大西洋数理逻辑研讨会（MAMLS）成立于1982年秋。委员会在1982-83年和1983-84年各举行了三次会议。在1984-85年、1985-86年、1986- 87年、1987-88年和1988-89年，每年至少举行四次会议。研讨会涵盖了数学逻辑的广泛领域，特别强调复杂性理论和理论计算机科学、算术模型、模型理论和模型理论代数、集合论、分析子系统（H. Friedman和S. Simpson的“逆向数学”计划）和拓扑理论。