Mathematical Sciences: Research in 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.