Model Theory

pi组成了一个研究小组，其工作强调模型理论（数学逻辑的一个分支）与数学其他部分之间的联系。他们建立了一个成功的、协调的研究项目，并为博士后、研究生和访客提供了良好的环境。他们计划在现有活动水平的基础上，增加一名博士后，为三名研究生提供研究支持，同时在较短的时间内引进一些更成熟的研究人员，并组织会议传播新的发展。pi和围绕它们工作的小组的总体目标是提高模型理论作为数学工具的有效性，并利用这些交互的反馈来指导模型理论本身的进一步发展。这项资助将支持的工作涵盖模型理论及其应用的大多数领域。

The PIs form a research group whose work emphasizes the connections between model theory (a branch of mathematical logic) and other parts of mathematics. They have established a successful, coordinated research program and an excellent environment for postdocs, graduate students, and visitors. They plan to build on that current level of activity by adding one postdoc and by providing research support for three graduate students, as well as by bringing in some more established researchers for shorter periods of time and by organizing meetings for dissemination of new developments. The general aim of the PIs and the group working around them is to increase the effectiveness of model theory as a tool in mathematics, and to use feedback from these interactions to guide the further development of model theory itself. The work that would be supported by this grant covers most areas of model theory and its applications.