Mid Atlantic Mathematical Logic Seminar (MAMLS)

大西洋中部数理逻辑研讨会（MAMLS）

• 批准号: 9804025
• 负责人: Arthur Apter
• 金额: $ 2.13万
• 依托单位: CUNY Baruch College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-09-01 至 2002-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9804025&HistoricalAwards=false
• 关键词: Mid; Atlantic; Mathematical; Logic; Seminar

The Mid-Atlantic Mathematical Logic Seminar (MAMLS), formed in the fall of 1982 under the aegis of Lee Stanley, has supported 3-4 regional meetings per year of 1-2 days' duration since then. These meetings are held at various locations and cover a broad spectrum of mathematical logic with particular emphasis on complexity theory, theoretical computer science, fragments of arithmetic, pure and applied model theory, recursion theory, set theory, subsystems of analysis in accordance with the program of H. Friedman and S. Simpson, and topos theory. NSF support is provided for some of the expenses of the speakers and attendees, in particular of the graduate students who attend.

中大西洋数理逻辑研讨会（MAMLS），成立于1982年秋季的主持下，李斯坦利，已支持3-4区域会议，每年1-2天的持续时间从那时起。 这些会议是在不同的地点举行，涵盖了广泛的数学逻辑，特别强调复杂性理论，理论计算机科学，碎片的算术，纯粹和应用模型理论，递归理论，集合论，子系统的分析，按照该计划的H。Friedman和S.辛普森和托普斯理论。 NSF的支持提供了一些演讲者和与会者的费用，特别是研究生谁出席。