Mathematical Sciences: Mid-Atlantic Mathematical Logic Seminar

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

• 批准号: 9121340
• 负责人: Gregory Cherlin
• 金额: $ 2.1万
• 依托单位: Rutgers University New Brunswick
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-04-01 至 1996-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9121340&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Mid; Atlantic; Logic

Partial support is provided for the Mid-Atlantic Mathematical Logic Seminar. MAMLS was formed in the fall of 1982. It has been running three or four meetings a year under the primary supervision of Lee Stanley since that time. Four meetings per year are projected for the next three years, including some meetings held jointly with other organizations. The seminar covers a broad spectrum of mathematical logic with particular emphasis on complexity theory, theoretical computer science, fragments of arithmetic, pure and applied model theory, set theory, subsystems of analysis in accordance with the program of H. Friedman and S. Simpson, and topos theory. Support is provided primarily for outside speakers. Supportis also provided for travel expenses of graduate students and other regular seminar participants not supported by other grants, and for incidental expenses associated with organizing and running the seminar, notably mailing costs (copying and postage). MAMLS was supported by NSF in 1984-1985 through a supplement to Lee J. Stanley's grant MCS 8201042 at Lehigh University, in 1985-1987 under grant DMS 8506058, in 1987-1989 through grant DMS 8704751, and since 1989 under grant DMS 8907348, all to Lehigh University with Lee J. Stanley as project director.

在大西洋中部数学逻辑研讨会上提供了部分支持。 MAMLS成立于1982年秋季。从那时起，在李·史丹利（Lee Stanley）的主要监督下，它每年举行三到四次会议。 预计接下来的三年每年举行四次会议，包括与其他组织共同举行的一些会议。 该研讨会涵盖了广泛的数学逻辑，特别着重于复杂性理论，理论计算机科学，算术，纯模型理论的片段，集合理论，集合理论，分析子系统，分析的子系统根据H. Friedman和S. S. Simpson和Topos理论。 支持主要是为外​​部扬声器提供的。 支持者还为研究生和其他定期研讨会参与者提供了差旅费，以及与组织和运行研讨会有关的偶然费用，尤其是邮寄费用（复制和邮费）。 MAMLS在1984 - 1985年的支持下，通过李·J·斯坦利（Lee J.