Mid-Atlantic Mathematical Logic Seminar (MAMLS)

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

• 批准号: 0902550
• 负责人: Arthur Apter
• 金额: $ 7.2万
• 依托单位: CUNY Baruch College
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0902550&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 supported2-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, proof theory, recursion theory/computability 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.Via the meetings sponsored, the MAMLS grant maintains the vitality of the field of mathematical logic. Special emphasis is placed on enhancing the participation of younger researchers and members of traditionally underrepresented groups, especially women. This is done by providing an intellectual forum in which all interested persons are invited to contribute and in which there are lectures on current topics of research.

中大西洋数理逻辑研讨会(MAMLS)成立于1982年秋季，由Lee Stanley主持，自那时以来，每年支持2-4次为期1-2天的地区性会议。这些会议在不同的地点举行，涵盖了广泛的数理逻辑，特别强调复杂性理论、理论计算机科学、算术片段、纯粹和应用模型理论、证明论、递归理论/可计算性理论、集合论、根据H.Friedman和S.Simpson的程序进行分析的子系统以及Topos理论。NSF资助了演讲者和与会者的一些费用，特别是研究生的费用。通过赞助的会议，MAMLS基金保持了数理逻辑领域的活力。特别强调加强年轻研究人员和传统上任职人数不足的群体成员，特别是妇女的参与。这是通过提供一个智力论坛来实现的，邀请所有感兴趣的人参与其中，并就当前的研究主题进行演讲。