Mathematical Sciences: Special Year in Model Theory and Universal Algebra

数学科学：模型论和泛代数特别年

• 批准号: 9115761
• 负责人: John Baldwin
• 金额: $ 2.5万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-12-15 至 1994-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9115761&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Special; Year; Model

This project is concerned with two mathematical subdisciplines: model theory and universal algebra. Until recently there were two distinct branches of model theory: classification theory and model theoretic algebra. In the past decade, the boundary between these two areas has become blurred. Algebraic techniques have become a necessary ingredient in most of the exciting recent results in model theory. In the last fifteen years universal algebra has acquired two powerful new tools: commutator theory and tame congruence theory. These have been used to settle a number of problems, including questions in decidability. There are also several important intersections between model theory and universal algebra. This project will support a special year in model theory and universal algebra to be held at the University of Illinois at Chicago in 1991-92. The year will feature long term visits by internationally prominent researchers and short term visits by leading experts in the fields.

这个项目涉及两个数学 子学科：模型论和泛代数。 直到 最近有两个不同的分支模型理论： 分类理论和模型论代数。 过去 十年来，这两个领域之间的界限变得模糊。 代数技术已经成为大多数数学中的一个必要组成部分， 模型理论中令人兴奋的最新成果。 在过去 15年来，通用代数已经获得了两个强大的新 工具：换位子理论和驯服同余理论。 这些都 被用来解决一些问题，包括在 可判定性 还有几个重要的交叉点 模型论和泛代数之间的联系 该项目将支持模型理论的特殊一年， 通用代数将在伊利诺伊大学举行， 1991-92年的芝加哥。 今年将有以下人士进行长期访问 国际知名研究人员和短期访问， 该领域的顶尖专家。