U.S.-Finland Cooperative Research in Finite Model Theory (Computer Science)

美国-芬兰有限模型理论合作研究（计算机科学）

• 批准号: 9024681
• 负责人: Phokion Kolaitis
• 金额: $ 1.78万
• 依托单位: University of California-Santa Cruz
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-08-01 至 1996-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9024681&HistoricalAwards=false
• 关键词: U.S.; Finland; Cooperative; Research; Finite

This award supports Professor Phokion Kolaitis, University of California, Santa Cruz, to collaborate in applied mathematics with Professor Jouko Vaananen, Department of Mathematics, University of Helsinki, Finland. They propose to undertake a systematic investigation of finite model theory from the perspective of abstract model theory. The combination of their complementary expertise in these areas should produce significant conceptual and theoretical contributions to finite model theory.. Finite model theory is the study of first-order logic and its extensions on finite structures. It is an area of research within logic in computer science that has had numerous interactions with mathematical logic, database theory, and computational complexity. Logicians have developed such a theory of extended logics on arbitrary structures, known as abstract model theory. So far no general theory of extended logics on finite structures exists. The proposed collaborative research will expand the current framework of this important area of logic.

该奖项支持教授Phokion Kolaitis，大学 加州，圣克鲁斯，合作应用数学与 Jouko Vaananen教授，哥伦比亚大学数学系 芬兰，赫尔辛基。 他们建议进行系统的 有限模型理论的研究 抽象模型理论 它们的互补性 这些领域的专门知识应产生重要的概念和 对有限模型理论的理论贡献 有限模型理论是研究一阶逻辑及其 有限结构的扩展 这是一个研究领域， 计算机科学中的逻辑，与 数学逻辑、数据库理论和计算复杂性。 逻辑学家已经发展了这样一种扩展逻辑理论， 任意结构，称为抽象模型理论。 到目前为止没有 存在有限结构上的扩展逻辑的一般理论。 拟议的合作研究将扩大目前的 这是一个重要的逻辑框架。