Model Theory

模型理论

• 批准号: 0073801
• 负责人: C. Ward Henson
• 金额: $ 10.09万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2003-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0073801&HistoricalAwards=false
• 关键词: Model; Theory

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.

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