Mathematical Sciences: Set Theory
数学科学:集合论
基本信息
- 批准号:9322442
- 负责人:
- 金额:$ 27.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1994
- 资助国家:美国
- 起止时间:1994-07-15 至 2000-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9322442 Woodin The focus of the project is the relationship between large cardinal axioms and determinacy axioms. This is interpreted somewhat broadly and is meant to include, for example, the study of a new class of models. These models are generated as forcing extensions of models in which the axiom of determinacy holds. They are interesting because they provide the first examples of canonical models in which the Continuum Hypothesis is false. One consequence of Kurt Godel's results of 60 years ago is that there will always be mathematical problems which cannot be solved. This first became a practical concern 30 years ago when Paul Cohen showed that Cantor's Continuum Hypothesis cannot be settled. Since Cohen's work, numerous problems have been shown to be unsolvable. The large cardinal hierarchy provides in many cases a resolution to the problem of independence. This is done, not by resolving the question, but rather by calibrating the degree to which it is unsolvable. This hierarchy of axioms, each of which asserts the existence of a new infinity, emerges as the fundamental mathematical reality. The investigator intends to study this hierarchy in its many manifestations. ***
9322442伍丁该项目的重点是大型基数公理和确定性公理之间的关系。这有点宽泛地解释,例如,它的意思是包括对一类新模型的研究。这些模型是作为确定性公理成立的模型的强制扩展而产生的。它们之所以有趣,是因为它们提供了规范模型的第一个例子,在这些模型中,连续统假设是错误的。60年前库尔特·戈德尔的研究结果的一个结果是,总是会有无法解决的数学问题。30年前,当保罗·科恩证明康托的连续统假说不能成立时,这第一次成为了一个实际问题。自从科恩的工作以来,无数的问题被证明是无法解决的。在许多情况下,大的基本等级制度为独立问题提供了解决办法。要做到这一点,不是通过解决问题,而是通过校准问题无法解决的程度。这种公理的层级结构,每个公理都断言一个新的无穷大的存在,成为基本的数学现实。这位研究者打算研究这种等级制度的许多表现形式。***
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
William Woodin其他文献
William Woodin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('William Woodin', 18)}}的其他基金
Classification and invariants for Borel equivalence relations
Borel 等价关系的分类和不变量
- 批准号:
2246746 - 财政年份:2023
- 资助金额:
$ 27.5万 - 项目类别:
Standard Grant
Mathematical Sciences: Set Theory: Presidential Young Investigator Award
数学科学:集合论:总统青年研究员奖
- 批准号:
8917428 - 财政年份:1989
- 资助金额:
$ 27.5万 - 项目类别:
Continuing Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号:12226504
- 批准年份:2022
- 资助金额:20.0 万元
- 项目类别:数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号:41224003
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21224005
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Information Sciences
- 批准号:61224002
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51224001
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21024806
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号:81024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
- 批准号:41024801
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
相似海外基金
Mathematical Sciences: Set Theory and Large Cardinals
数学科学:集合论和大基数
- 批准号:
9626143 - 财政年份:1996
- 资助金额:
$ 27.5万 - 项目类别:
Standard Grant
Mathematical Sciences: Set Theory: Sets of Real Numbers and Infinite Games
数学科学:集合论:实数集和无限博弈
- 批准号:
9505375 - 财政年份:1995
- 资助金额:
$ 27.5万 - 项目类别:
Continuing grant
Mathematical Sciences: Topics in Logic and Set Theory
数学科学:逻辑和集合论主题
- 批准号:
9505118 - 财政年份:1995
- 资助金额:
$ 27.5万 - 项目类别:
Continuing Grant
Mathematical Sciences: Polish Group Actions and Descriptive Set Theory
数学科学:波兰群行动和描述集合论
- 批准号:
9505505 - 财政年份:1995
- 资助金额:
$ 27.5万 - 项目类别:
Continuing Grant
Mathematical Sciences: Certain Set-Theoretic Principles and Their Applications
数学科学:某些集合论原理及其应用
- 批准号:
9505098 - 财政年份:1995
- 资助金额:
$ 27.5万 - 项目类别:
Standard Grant
Mathematical Sciences: Problems in Descriptive Set Theory, Ergodic Theory and Set Theory
数学科学:描述集合论、遍历理论和集合论中的问题
- 批准号:
9500494 - 财政年份:1995
- 资助金额:
$ 27.5万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
9505153 - 财政年份:1995
- 资助金额:
$ 27.5万 - 项目类别:
Continuing Grant
Mathematical Sciences: Group Theoretic Problems in Model Theory and Set Theory
数学科学:模型论和集合论中的群论问题
- 批准号:
9501176 - 财政年份:1995
- 资助金额:
$ 27.5万 - 项目类别:
Continuing Grant
Mathematical Sciences: Some Investigation into the ContinuumHypotheses and also Set-Theoretic Aspects of Group Actions
数学科学:对连续统假设以及群行为的集合论方面的一些研究
- 批准号:
9496286 - 财政年份:1994
- 资助金额:
$ 27.5万 - 项目类别:
Continuing Grant