Universal Algebra and Model Theory

本课题主要研究代数方程理论的不可约模型的分布和结构。主要目标是确定一个理论的模型的结构含义，该模型产生于该理论具有有限数量的不可约模型的假设。所得结果在代数方程类的可判定性、有限公理化、范定性和方程完备性等方面有一定的应用。代数结构，或称代数，是用作计算工具的数学对象。代数的一个典型例子是我们用来计数的数字系统，尽管更奇异的代数在物理、化学、逻辑和大多数数学分支中都有应用。代数中的基本问题，如一个数是否除以另一个数的问题，是通过将问题归结为关于不可约因子代数的相关问题来解决的。这一研究将促进对不可约代数中计算方法的理解，从而促进对一般代数中计算方法的理解。

This project concerns the distribution and structure of irreducible models of equational theories of algebras. The chief goal is to determine the structural implications for the models of a theory which arise from the assumption that the theory has a bounded number of irreducible models. The projected results have applications to the decidability, finite axiomatizability, categoricity, and equational completeness of equational classes of algebras. Algebraic structures, or algebras, are mathematical objects which are used as devices for calculation. A typical example of an algebra is the number system we use for counting, although more exotic algebras find application in physics, chemistry, logic, and most branches of mathematics. Basic questions in algebra, such as the question of whether one number divides another, are solved by reducing the question to a related question about irreducible factor algebras. This research will advance the understanding of methods of calculation in irreducible algebras, and consequently in general algebras.