Mid-Atlantic Mathematical Logic Seminar (MAMLS)

AbstractAward：DMS-0137487主要研究者：亚瑟Apter中大西洋数理逻辑研讨会（MAMLS），成立于1982年秋天，在李斯坦利的主持下，从那时起每年举行3 -4次为期1-2天的区域会议。这些会议在不同的地点举行，涵盖了广泛的数理逻辑，特别强调复杂性理论，理论计算机科学，算法片断、纯模型论和应用模型论、证明论、递归论、集合论、分析子系统。 Friedman和S.辛普森和托普斯理论。 美国国家科学基金会提供的一些费用的演讲者和与会者，特别是研究生。通过会议赞助，MAMLS补助金保持活力的领域的数理逻辑。 特别强调加强年轻研究人员和传统上代表性不足的群体，特别是妇女的参与。 这是通过提供一个智力论坛，邀请所有感兴趣的人作出贡献，并在其中有讲座当前的研究课题。中大西洋数理逻辑研讨会（MAMLS），成立于1982年秋季的主持下，李斯坦利，每年举行3 -4次区域会议，这些会议在不同的地点举行，涵盖了广泛的数学逻辑，特别强调复杂性理论，理论计算机科学，算术的片段，纯模型理论和应用模型理论，证明论、递归论、集合论、子系统分析等。 Friedman和S.辛普森和托普斯理论。 美国国家科学基金会提供的一些费用的演讲者和与会者，特别是研究生。通过会议赞助，MAMLS补助金保持活力的领域的数理逻辑。 特别强调加强年轻研究人员和传统上代表性不足的群体，特别是妇女的参与。 这是通过提供一个智力论坛来实现的，邀请所有感兴趣的人来贡献，并就当前的研究主题进行讲座。

AbstractAward: DMS-0137487Principal Investigator: Arthur ApterThe Mid-Atlantic Mathematical Logic Seminar (MAMLS), formed inthe fall of 1982 under the aegis of Lee Stanley, has supported3-4 regional meetings per year of 1-2 days' duration since then.These meetings are held at various locations and cover a broadspectrum of mathematical logic with particular emphasis oncomplexity theory, theoretical computer science, fragments ofarithmetic, pure and applied model theory, proof theory,recursion theory, set theory, subsystems of analysis inaccordance with the program of H. Friedman and S. Simpson, andtopos theory. NSF support is provided for some of the expensesof the speakers and attendees, in particular of the graduatestudents.Via the meetings sponsored, the MAMLS grant maintains thevitality of the field of mathematical logic. Special emphasis isplaced on enhancing the participation of younger researchers andmembers of traditionally underrepresented groups, especiallywomen. This is done by providing an intellectual forum in whichall interested persons are invited to contribute and in whichthere are lectures on current topics of research.The Mid-Atlantic Mathematical Logic Seminar (MAMLS), formed inthe fall of 1982 under the aegis of Lee Stanley, has supported3-4 regional meetings per year of 1-2 days' duration since then.These meetings are held at various locations and cover a broadspectrum of mathematical logic with particular emphasis oncomplexity theory, theoretical computer science, fragments ofarithmetic, pure and applied model theory, proof theory,recursion theory, set theory, subsystems of analysis inaccordance with the program of H. Friedman and S. Simpson, andtopos theory. NSF support is provided for some of the expensesof the speakers and attendees, in particular of the graduatestudents.Via the meetings sponsored, the MAMLS grant maintains thevitality of the field of mathematical logic. Special emphasis isplaced on enhancing the participation of younger researchers andmembers of traditionally underrepresented groups, especiallywomen. This is done by providing an intellectual forum in whichall interested persons are invited to contribute and in whichthere are lectures on current topics of research.