Mathematical Sciences: Seventh Southeastern Logic Symposium

数学科学：第七届东南逻辑研讨会

• 批准号: 9020942
• 负责人: Jean Larson
• 金额: $ 0.8万
• 依托单位: University of Florida
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-02-01 至 1992-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9020942&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Seventh; Southeastern; Logic

There are considerable research efforts underway in the Southeast which center on mathematical logic and on its connections with other aspects of mathematics and computer science. Along with mainstream investigations in set theory,model theory, proof theory and recursion theory, there are sustained research programs focusing on applications of set theory in topology, applications of model theory in algebra, and on applications of logic to topics in theoretical computer science. This grant will help support a conference to be held at the University of Florida during March 1991, whose goals are to provide a forum for the exchange of ideas and results on the leading edge of research in mathematical logic and its applications to other branches of mathematics, and to facilitate closer collaboration among individual researchers and among the institutions in the Southeast.

目前正在进行大量的研究工作， 东南部以数理逻辑和 与数学和计算机的其他方面的联系 科学 沿着主流调查 理论，模型理论，证明理论和递归理论，有 持续的研究计划，重点是应用集 拓扑理论，模型理论在代数中的应用，以及 论逻辑在理论计算机中的应用 科学 这笔赠款将用于支持在纽约举行的一次会议。 1991年3月，佛罗里达大学，其目标是 提供一个论坛，供各方交流意见， 数理逻辑研究的前沿及其 应用到其他数学分支，并促进 研究人员之间和研究人员之间更密切的合作 东南部的机构。