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.

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