Forcing and Large Cardinals

强迫和大红衣主教

基本信息

  • 批准号:
    1764029
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-07-01 至 2024-06-30
  • 项目状态:
    已结题

项目摘要

The goal of this project is to develop a better understanding of the possible behaviors of the mathematical universe. Our knowledge of the mathematical universe comes through deduction from axioms. This knowledge is inherently incomplete, and there is a wide range of questions that cannot be decided from the standard axioms. Set theorists have developed and studied additional axioms that allow settling some of these questions. These axioms are broadly divided into two types: Large cardinal axioms, and forcing axioms. The large cardinal axioms form a natural hierarchy ordered by axiomatic strength. Forcing axioms have applications outside set theory. This project involves the development of new forcing axioms primarily meant to deal with questions related to the second uncountable cardinal, methods for applications of these axioms, the theory of large cardinal axioms primarily at the level of strength expected to be connected to the new forcing axioms (the level of supercompact cardinals), and other applications of large cardinal axioms at this strength, primarily to questions of infinitary combinatorics. While there has been a large body of work on forcing axioms related to the first uncountable cardinal, analogous forcing axioms related to the second uncountable cardinal were only discovered recently. Similarly the theory of large cardinal axioms at the level of supercompact cardinals is only now beginning to come into focus. This project will obtain results in these emerging subjects, develop methods that open these subjects to broader research, and aim to apply them to some long standing open problems.This project deals with several central areas in set theory: (i) forcing axioms and their applications; (ii) inner models theory; and (iii) infinitary combinatorics. Forcing axioms are strengthenings of the Baire category theorem that allow meeting a prescribed number of dense sets with filters in prescribed classes of partial orders. In connection with (i) this project is particularly concerned with higher analogues of the proper forcing axiom (PFA). PFA, developed in the early 1980s, allows meeting aleph_1 dense sets in proper partial orders. It has proved incredibly useful both as a starting point for consistency proofs and as an axiom leading to set theoretic structure theorems. Recent work of the PI shows that there are analogues of PFA which involve meeting more than aleph_1 dense sets. Separately, the PI developed new reflection principles at aleph_2. It is one of the goals of this project to combine the higher analogues of PFA with these reflection principles, and use the new resulting axioms to extend applications of PFA to new contexts. The inner models program has as its main goal the construction of models for large cardinal axioms from assumptions that do not directly involve large cardinals (for example from forcing axioms). In connection with (ii), this project is primarily concerned with the theory of inner models at the level of supercompact cardinals. In connections with (iii) this project is primarily concerned with the tree property, a remnant of large cardinal strength that can consistently hold at small cardinals. One of the goals of the project is to obtain it simultaneously at all successors in increasingly large intervals of cardinals.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
这个项目的目标是更好地理解数学宇宙的可能行为。我们对数学宇宙的知识来自于公理的演绎。这种知识本质上是不完整的,而且有许多问题不是标准公理所能决定的。集合论者已经开发和研究了其他公理,这些公理可以解决其中的一些问题。这些公理大致分为两类:大型基数公理和强迫公理。大的基数公理形成了一个按公理强度排序的自然层次。强迫公理在集合论之外也有应用。这个项目包括发展新的强迫公理,主要是为了处理与第二不可数基数有关的问题,这些公理的应用方法,主要是强度水平的大型基数公理理论,预计连接到新的强迫公理(超紧基数水平),以及在这种强度下的大型基数公理的其他应用,主要是无限组合学的问题。虽然已经有大量关于与第一个不可数基数相关的强制公理的工作,但与第二个不可数基数相关的类似的强制公理直到最近才被发现。同样,超紧基数水平上的大型基数公理理论现在才开始成为焦点。这个项目将在这些新兴学科中取得成果,开发方法,使这些学科向更广泛的研究开放,并旨在将它们应用于一些长期悬而未决的问题。本项目涉及集合论的几个核心领域:(I)强迫公理及其应用;(Ii)内部模型理论;(Iii)无限组合学。强迫公理是Baire范畴定理的加强,它允许满足指定数量的稠密集和指定类别的偏序滤子。关于(I),这个项目特别关注真强迫公理(PFA)的更高层次的类似。PFA是在20世纪80年代初发展起来的,它允许在适当的偏序下满足Aleph_1稠密集。它已经被证明是非常有用的,既是一致性证明的起点,也是导致集合论结构定理的公理。PI最近的工作表明,存在PFA的类似物,它们涉及到超过Aleph_1稠密集的相遇。另外,PI在Aleph_2上开发了新的反射原理。本项目的目标之一是将PFA的高级类似物与这些反射原理相结合,并使用新的公理将PFA的应用扩展到新的背景。内部模型计划的主要目标是根据不直接涉及大基数的假设(例如,通过强制公理)构建大型基数公理的模型。关于(Ii),这个项目主要涉及超紧基数水平上的内部模型理论。在与(Iii)的联系中,这个项目主要涉及树的属性,这是一种大基数力量的残余,可以持续地保持在小基数上。该项目的目标之一是在越来越大的红衣主教间隔内同时获得所有继任者的奖项。这一奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Chang’s Conjecture with $$\square _{\omega _1, 2}$$ from an $$\omega _1$$-Erdős cardinal
张猜想 $$square _{omega _1, 2}$$ 来自 $$omega _1$$-ErdÅs 基数
  • DOI:
    10.1007/s00153-020-00723-w
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0.3
  • 作者:
    Neeman, Itay;Susice, John
  • 通讯作者:
    Susice, John
THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
单一红衣主教的两个直接继承人的树属性
  • DOI:
    10.1017/jsl.2020.11
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    CUMMINGS, JAMES;HAYUT, YAIR;MAGIDOR, MENACHEM;NEEMAN, ITAY;SINAPOVA, DIMA;UNGER, SPENCER
  • 通讯作者:
    UNGER, SPENCER
On the powersets of singular cardinals in HOD
关于 HOD 中奇异基数的幂集
The ineffable tree property and failure of the singular cardinals hypothesis
不可言喻的树性质和奇异基数假说的失败
Abraham–Rubin–Shelah open colorings and a large continuum
亚伯拉罕·鲁宾·谢拉开放色彩和大连续体
  • DOI:
    10.1142/s0219061321500276
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0.9
  • 作者:
    Gilton, Thomas;Neeman, Itay
  • 通讯作者:
    Neeman, Itay
{{ 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 }}

Itay Neeman其他文献

Two applications of finite side conditions at ω2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega _2$$\end{docume
有限边条件在 ω2documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek 的两个应用} setlength{oddsidemargin}{-69pt} egin{文档}$$omega _2$$end{文档
  • DOI:
    10.1007/s00153-017-0550-y
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0.3
  • 作者:
    Itay Neeman
  • 通讯作者:
    Itay Neeman
Unraveling Π 1 1 sets, revisited
  • DOI:
    10.1007/bf02771982
  • 发表时间:
    2006-12-01
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Itay Neeman
  • 通讯作者:
    Itay Neeman
The domestic levels ofK c are iterable
  • DOI:
    10.1007/bf02773379
  • 发表时间:
    2001-12-01
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Alessandro Andretta;Itay Neeman;John Steel
  • 通讯作者:
    John Steel

Itay Neeman的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Itay Neeman', 18)}}的其他基金

Forcing, inner models, and large cardinals.
强迫、内部模型和大基数。
  • 批准号:
    2246905
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Conference: Logic Meeting at UCLA
会议:加州大学洛杉矶分校的 Logic 会议
  • 批准号:
    2302308
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Logic Meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1901676
  • 财政年份:
    2019
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Forcing with Large Cardinals
强迫大红雀
  • 批准号:
    1800613
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Logic meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1700600
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Combinatorial Set Theory, Model Theory of Abstract Elementary Classes, and Borel Combinatorics
组合集合论、抽象初等类模型论和 Borel 组合学
  • 批准号:
    1700425
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Logic Meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1463601
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Forcing and large cardinals
强迫和大基数
  • 批准号:
    1363364
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Logic Meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1305671
  • 财政年份:
    2013
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Large cardinals and the continuum
大基数和连续体
  • 批准号:
    1101204
  • 财政年份:
    2011
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant

相似国自然基金

水稻穗粒数调控关键因子LARGE6的分子遗传网络解析
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
量子自旋液体中拓扑拟粒子的性质:量子蒙特卡罗和新的large-N理论
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    62 万元
  • 项目类别:
    面上项目
甘蓝型油菜Large Grain基因调控粒重的分子机制研究
  • 批准号:
    31972875
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
Large PB/PB小鼠 视网膜新生血管模型的研究
  • 批准号:
    30971650
  • 批准年份:
    2009
  • 资助金额:
    8.0 万元
  • 项目类别:
    面上项目
基因discs large在果蝇卵母细胞的后端定位及其体轴极性形成中的作用机制
  • 批准号:
    30800648
  • 批准年份:
    2008
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
LARGE基因对口腔癌细胞中α-DG糖基化及表达的分子调控
  • 批准号:
    30772435
  • 批准年份:
    2007
  • 资助金额:
    29.0 万元
  • 项目类别:
    面上项目

相似海外基金

Forcing, inner models, and large cardinals.
强迫、内部模型和大基数。
  • 批准号:
    2246905
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Combinatorial Set Theory, Forcing, and Large Cardinals
组合集合论、强迫和大基数
  • 批准号:
    2308248
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Forcing, Large Cardinals, and Infinitary Combinatorics
强迫、大基数和无限组合
  • 批准号:
    2054532
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Combinatorial Set Theory, Forcing, and Large Cardinals
组合集合论、强迫和大基数
  • 批准号:
    1954117
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Forcing with Large Cardinals
强迫大红雀
  • 批准号:
    1800613
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Forcing and Large Cardinals
职业生涯:强迫和大红衣主教
  • 批准号:
    1454945
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Forcing and large cardinals
强迫和大基数
  • 批准号:
    1363364
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Combinatorics, Large Cardinals and Forcing
组合学、大基数和强迫
  • 批准号:
    9703945
  • 财政年份:
    1997
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Problems in Large Cardinals, Forcing,and Combinatorics
数学科学:大基数、强迫和组合问题
  • 批准号:
    9626713
  • 财政年份:
    1996
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Problems in Large Cardinals, Forcing and Combinatorics
数学科学:大基数、强迫和组合问题
  • 批准号:
    9303217
  • 财政年份:
    1993
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了