MODEL THEORY AND ALGEBRA

模型论是数理逻辑的一个分支，它本身是一个相当新的学科，起源于世纪后期，对数学基础进行了哲学研究。然而，近几十年来，它在数学的其他部分、计算机科学甚至工程学（与机器人技术有关的量词消除）中得到了许多应用。另一方面，代数是数学中最古老、最成熟的学科之一。Aschenbrenner建议继续在这两个学科的交叉点进行研究，在过去半个世纪的大部分时间里，这两个学科之间进行了卓有成效的交流。的合作努力，以发展一个模型理论的渐近分析处理，并调查到一些模型理论问题的手段组合几何。这些主题不仅与数学中的其他领域有关，而且与微分方程在工程中的应用以及计算学习理论有关。另一方面的建议涉及寻找算法的代数问题和研究其复杂性，一个主题是至关重要的应用程序的计算机代数在科学和工程。

Model theory is a branch of mathematical logic, which itself is a fairly new subject that originated in the late 19th century with philosophical investigations into the foundations of mathematics. However, in recent decades it has found many applications in other parts of mathematics, in computer science, and even in engineering (quantifier elimination as it relates to robotics). Algebra, on the other hand, is one of the oldest and most mature disciplines of mathematics. Aschenbrenner proposes to continue his research in the intersection of these two disciplines, where a fruitful exchange has been going for the better part of the last half-century.The project is organized around several themes, including a continuation of Aschenbrenner?s collaborative efforts to develop a model-theoretic treatment of asymptotic analysis, and investigations into some model-theoretic questions with the means of combinatorial geometry. These topics have relationships not only to other fields within mathematics but also to applications of differential equations in engineering, and to computational learning theory. Another aspect of the proposal concerns finding algorithms for algebraic problems and studying their complexity, a topic which is of central importance for applications of computer algebra in science and engineering.