Mathematical Sciences: Model Theory and Universal Algebra

8904014麦肯齐这个项目是美国国家科学基金会资助的工作的继续。Dms-8600300。这项研究属于数学基础的一般领域，更具体地说，是普适代数，在某种程度上，还包括模型理论。主要研究人员Ralph McKenzie的研究计划包括寻找具有有限模型的可判定理论的局部有限簇的代数刻画，并致力于两个猜想，第一，有限生成簇中次直接不可约代数的基数谱，第二，代数具有模相对同余格的有限生成拟簇的有限公理化性质。

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.