Mathematical Sciences: Model Theory and Universal Algebra

数学科学：模型论和通用代数

• 批准号: 8904014
• 负责人: Ralph McKenzie
• 金额: $ 14.69万
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-05-15 至 1992-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8904014&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Model; Theory; Universal

8904014 McKenzie This project is a continuation of work supported by NSF grant No. DMS-8600300. The research lies within the general area of foundations of mathematics, more specifically universal algebra and to some extent, model theory. The research plans of the principal investigator, Ralph McKenzie, include the search for an algebraic characterization of locally finite varieties that possess a decidable theory of finite models, and work on two conjectures concerning, first,the spectrum of cardinalities of subdirectly irreducible algebras in finitely generated varieties, and second, the finite axiomatizability of finitely generated quasivarieties whose algebras possess modular relative congruence lattices.

8904014 McKenzie 该项目是NSF支持的工作的延续 批准号DMS-8600300。 这项研究是在一般的 数学基础的一个领域，更具体地说是普遍的 代数和某种程度上的模型理论 首席研究员拉尔夫的研究计划 麦肯齐，包括寻找一个代数特征 局部有限簇，具有可判定的理论， 有限的模型，并在两个有关， 第一，次直不可约的基数谱 第二，代数在代数生成的品种， n-生成拟簇的有限公理化 其代数具有模相对同余格。