Mathematical Sciences: The Definable Continuum Hypothesis

数学科学：可定义的连续统假说

• 批准号: 8701119
• 负责人: Matthew Foreman
• 金额: $ 3.05万
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-07-01 至 1989-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8701119&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Definable; Continuum; Hypothesis

At this time it is known that there are many propositions of mathematics independent of the ordinary axioms of Zermelo-Frankel set theory. Foremost among these is the continuum hypothesis. This has led investigators to pose stronger axioms, known as large cardinal axioms to try to settle these problems. Professor Foreman plans to investigate the relationship of strong axioms of set theory to the continuum hypothesis. In particular he conjectures that ordinary large cardinal axioms should imply that there are no definable or constructable counterexamples to the continuum hypothesis. He has proven substantial partial results in this direction and plans to continue work on this conjecture. Such investigations reach to the most basic foundations of mathematics, clarifying our understanding of the infinite.

目前已知有许多主张 与Zermelo-Frankel公理无关的数学 集合论 其中最重要的是连续统假设。 这使得研究人员提出了更强的公理，称为 大基数公理试图解决这些问题。 教授 福尔曼计划研究的强公理的关系 连续统假设的集合论。 特别是他 证明普通的大基数公理应该意味着， 没有可定义的或可构造的反例， 连续统假说 他已经证明了大量的部分结果 在这个方向，并计划继续对这一猜想的工作。 这种调查触及到最基本的基础， 数学，澄清我们对无限的理解。