Choiceless set theory
Choiceless set theory
批准号:
2348371
负责人:
Jindrich Zapletal
金额:
$23.99万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2024
资助国家:
美国
项目状态:
未结题
起止时间:
2024-05-01 至 2027-04-30
关键词:
中文摘要
该项目研究没有选择公理的集合论(ZF)。选择公理以提供数学理论的核心但不可能直接构造的对象而闻名,例如自然数上的超滤子。PI最近开发了一种方法,可以通过直观的复杂性对这些对象进行详细的分层,而不管它们起源于哪个数学领域。图表的结果将是一个广泛的图表,这些对象组织的这种方法。该项目涉及研究生。该项目开始在实数集合的水平上研究无选择集合论(ZF)。选择公理意味着存在许多这样的集合,它们具有有用的组合或代数性质,例如向量空间或域的基、超滤子或欧几里得空间的复杂划分。PI最近开发了一种方法,该方法可以证明有关此类集合存在的详细ZF独立性结果,实际上通过直观的复杂性对其进行分层,而不管它们起源于哪个数学领域。该项目的结果将是一个广泛的图表,这些对象组织的这种方法。这个奖项反映了NSF的法定使命,并已被认为是值得支持的评估使用基金会的智力价值和更广泛的影响审查标准。
英文摘要
The project studies set theory (ZF) without the axiom of choice. The axiom of choice is known for providing objects which are central to mathematical theory yet are impossible to directly construct, such as ultrafilters on natural numbers. The PI recently developed a method which makes it possible to stratify such objects by intuitive complexity in detail regardless of which field of mathematics they originate. The result of the chart will be an extensive chart of such objects organized by this method. The project involves graduate students.This project sets out to study choiceless set theory (ZF) at the level of sets of reals. The axiom of choice implies the existence of numerous such sets with useful combinatorial or algebraic properties, such as bases for vector spaces or fields, ultrafilters, or complicated partitions of Euclidean spaces. The PI recently developed a method which makes it possible to prove detailed ZF independence results regarding the existence of such sets, in effect stratifying them by intuitive complexity regardless of the field of mathematics they originate in. The result of the project will be an extensive chart of such objects organized by this method.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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Conference: Southeastern Logic Symposium
-
批准号:2401437
-
项目类别:Continuing Grant
-
资助金额:$9.0万
-
财政年份:2024
-
负责人:Jindrich Zapletal
-
依托单位:
Southeastern Logic Symposium
-
批准号:1945890
-
项目类别:Continuing Grant
-
资助金额:$4.73万
-
财政年份:2020
-
负责人:Jindrich Zapletal
-
依托单位:
South-Eastern Logic Symposium
-
批准号:1362273
-
项目类别:Continuing Grant
-
资助金额:$4.5万
-
财政年份:2014
-
负责人:Jindrich Zapletal
-
依托单位:
Ideals and Equivalence Relations
-
批准号:1161078
-
项目类别:Standard Grant
-
资助金额:$13.59万
-
财政年份:2012
-
负责人:Jindrich Zapletal
-
依托单位:
Forcing Idealized
-
批准号:0801114
-
项目类别:Continuing Grant
-
资助金额:$10.6万
-
财政年份:2008
-
负责人:Jindrich Zapletal
-
依托单位:
SM: Logic Year at the University of Florida
-
批准号:0532644
-
项目类别:Standard Grant
-
资助金额:$13.8万
-
财政年份:2005
-
负责人:Jindrich Zapletal
-
依托单位:
The Southeast Logic Symposium
-
批准号:0335481
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2003
-
负责人:Jindrich Zapletal
-
依托单位:
Cardinal Invariants and Descriptive Set Theory
-
批准号:0300201
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Jindrich Zapletal
-
依托单位:
Large Cardinals and the Methodology of Mathematics
-
批准号:0071437
-
项目类别:Standard Grant
-
资助金额:$6.14万
-
财政年份:2000
-
负责人:Jindrich Zapletal
-
依托单位:
国内基金
海外基金
登录
查看更多内容
AEP剪切SET参与阿尔茨海默症Tau病变机制研究
-
批准号:JCZRQNB202601061
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
选择性SET7/9抑制剂的设计优化及缺血性脑损伤保护机制
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:昌军
-
依托单位:
C-KIT激酶区突变调控SET在儿童急性髓系白血病耐药中的作用及机制研究
-
批准号:JCZRLH202500940
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
SET7通过调控糖酵解和氧化还原稳态参与PE发生发展的作用及机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:唐金花
-
依托单位:
脱乙酰化酶复合物Set3C介导蛋白酶体稳态调控新型隐球菌耐热性
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:高鑫迪
-
依托单位:
PLK1磷酸化ELF1招募Set1/COMPASS复合体调控胶质瘤谷氨酰胺代谢的机制研究
-
批准号:
-
项目类别:面上项目
-
资助金额:--
-
批准年份:2024
-
负责人:杨睿
-
依托单位:
CBX8协同SET靶向CDH1促进卵果癌上皮间质转化的作用机制研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:--
-
依托单位:
PUF60通过调控SET可变多聚腺苷酸化参与DNA损伤修复促进卵巢癌耐药的机制
-
批准号:82303055
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:王子翔
-
依托单位:
ASXL2缺失致SET1甲基化不足抑制TIP150转录在低氧精子尾部畸形中的作用机制研究
-
批准号:CSTB2023NSCQ-MSX0034
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2023
-
负责人:殷骏
-
依托单位:
甲基转移酶SET-18/SMYD2通过调控溶酶体活性促进衰老的分子机制研究
-
批准号:32371323
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:李晓雪
-
依托单位: