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.

标记将继续他的模型理论调查。 他将主要处理与代数关闭和真实领域相关的问题。 他还将在递归模型理论中处理一些问题。 模型理论作为数学基础的主题涉及公理系统。 给定的公理集接受任何实现（称为这些公理的模型），还是仅有限的许多不同的实现，还是无限的实现，是所处理的一些类型的问题。