Mathematical Sciences: Research in Model Theory

数学科学：模型论研究

• 批准号: 9000138
• 负责人: David Marker
• 金额: $ 5.72万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-06-01 至 1994-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9000138&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Research; Model; Theory

Marker will continue his investigations in model theory. He will work primarily on problems connected with definability in algebraically closed and real fields. He will also deal with some questions in recursive model theory. Model theory as a topic in the foundations of mathematics deals with axiomatic systems. Whether a given set of axioms admit of any realization (called a model for these axioms) or possibly only finitely many different realizations, or infinitely many, are a few of the types of questions treated.

马克将继续他在模型理论方面的研究。 他将主要研究与代数闭域和实域中的可定义性相关的问题。 他还将处理递归模型理论中的一些问题。 模型理论作为数学基础中的一个主题，涉及公理系统。 一组给定的公理是否允许任何实现（称为这些公理的模型），或者可能只有有限多个不同的实现，或者无限多个，都是所处理的问题类型中的一些。