Conference: Logic Meeting at UCLA
会议:加州大学洛杉矶分校的 Logic 会议
基本信息
- 批准号:2302308
- 负责人:
- 金额:$ 1.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-01-01 至 2023-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award supports a meeting on mathematical logic, titled a Very Informal Gathering of Logicians, from Friday February 10, to Sunday February 12, 2023, at the University of California Los Angeles. This is the twenty-first in a series of biennial logic meetings at UCLA which, starting in the mid 1970s, has been one of the most important forums for mathematical logic on the West Coast. The meeting is a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. About half the grant funds are dedicated to travel awards for graduate students and early career researchers, to allow them to come to the meeting. Most of the participants will be research mathematicians and university teachers. What they learn at the meeting will have a positive impact on their research and teaching.The meeting is scheduled to have twelve talks, on a wide range of topics within mathematical logic, including set theory, model theory, recursion theory, and philosophical logic, with speakers at all career stages who have obtained outstanding results in these fields. One of the talks is a named lecture in honor of Greg Hjorth. The 2023 Hjorth speaker is Maryanthe Malliaris. The meeting's webpage is at http://www.math.ucla.edu/~ineeman/Conf/VIG2023/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.
该奖项支持于 2023 年 2 月 10 日星期五至 2023 年 2 月 12 日星期日在加州大学洛杉矶分校举行的题为“非常非正式的逻辑学家聚会”的数理逻辑会议。这是 UCLA 每两年一次的一系列逻辑会议中的第二十一次,该会议自 20 世纪 70 年代中期开始,一直是西海岸最重要的数理逻辑论坛之一。这次会议是逻辑学家了解和讨论研究的重要进展、交流思想以及在科学项目上进行合作的重要机会。大约一半的拨款资金专门用于为研究生和早期职业研究人员提供差旅费,以便他们能够参加会议。大多数参与者将是研究数学家和大学教师。他们在会议上学到的东西将对他们的研究和教学产生积极的影响。会议计划有十二场演讲,讨论数理逻辑领域的广泛主题,包括集合论、模型论、递归理论和哲学逻辑,各个职业阶段的演讲者都在这些领域取得了杰出的成就。其中一场演讲是以格雷格·霍斯 (Greg Hjorth) 的名字命名的演讲。 2023 年 Hjorth 演讲者是 Maryanthe Malliaris。该会议的网页位于 http://www.math.ucla.edu/~ineeman/Conf/VIG2023/ 该奖项反映了 NSF 的法定使命,并通过使用基金会的智力价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(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 }}
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
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
- 资助金额:
$ 1.5万 - 项目类别:
Continuing Grant
Combinatorial Set Theory, Model Theory of Abstract Elementary Classes, and Borel Combinatorics
组合集合论、抽象初等类模型论和 Borel 组合学
- 批准号:
1700425 - 财政年份:2017
- 资助金额:
$ 1.5万 - 项目类别:
Continuing Grant
相似国自然基金
基于轨道角动量的高维量子逻辑门研究
- 批准号:62371202
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
建筑空调机房系统故障因果逻辑推理及响应决策机制研究
- 批准号:52308110
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
面向航空发动机多模态变工况高性能运行的新型逻辑切换控制系统研究
- 批准号:62303262
- 批准年份:2023
- 资助金额:10 万元
- 项目类别:青年科学基金项目
数字平台生态系统场景下旅游企业间竞合关系的权力逻辑解构:来源、失衡和后果
- 批准号:72372164
- 批准年份:2023
- 资助金额:41 万元
- 项目类别:面上项目
内质网和线粒体精准靶向的逻辑门控型纳米药物用于肿瘤协同光免疫治疗
- 批准号:82304401
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
The 2016 Santa Cruz Developmental Biology Meeting
2016 年圣克鲁斯发育生物学会议
- 批准号:
9193174 - 财政年份:2016
- 资助金额:
$ 1.5万 - 项目类别: