The model theory of compact complex manifolds and other geometric strucutres

紧复流形及其他几何结构的模型理论

• 批准号: 312513-2010
• 负责人: Moosa, Rahim
• 金额: $ 1.75万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=508774
• 关键词: model; theory; compact; complex; manifolds

I am interested in the interaction between mathematical logic and geometry. Mathematical logic, to quote the opening lines of Shoenfield's book by that name, is the study of the type of reasoning done by mathematicians. Geometry is one of the core branches of mathematics itself; it is inspired by (and vastly generalises) the study of objects in three-dimensional space. Somewhat surprisingly, the methods of the meta-mathematical subject of logic have proved to be of substantial geometrical significance. Fundamentally, what logic brings to geometry is a "linguistic" intuition; the logician plays close attention to what can be expressed or defined in a given formal language. Associated to these formal expressions (syntax) are the objects they define (semantics), the "definable sets". Model theory, the particular branch of mathematical logic in which I specialise, could be described as the study of the geometrical properties of definable sets.

我对数理逻辑和几何之间的相互作用感兴趣。数学逻辑，引用Shoenfield的书的开头的话，是研究数学家所做的推理类型的。几何学是数学本身的核心分支之一;它的灵感来自（并广泛推广）对三维空间中物体的研究。有些令人惊讶的是，逻辑这门元数学学科的方法被证明具有重要的几何意义。从根本上说，逻辑给几何学带来的是一种“语言学”的直觉;逻辑学家密切关注什么可以用给定的形式语言来表达或定义。与这些形式表达式（语法）相关联的是它们定义的对象（语义），即“可定义集”。模型论是我专门研究的数理逻辑的一个特殊分支，它可以被描述为对可定义集合的几何性质的研究。