Mathematical Sciences: Special Year in Model Theory and Universal Algebra

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

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.