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.
该奖项支持一场关于数学逻辑的会议,标题为逻辑学家的非正式聚会,从2月10日(星期五)到2023年2月12日星期日在加利福尼亚洛杉矶分校。这是在加州大学洛杉矶分校举行的一系列双年展逻辑会议中的第21届,从1970年代中期开始,这是西海岸数学逻辑最重要的论坛之一。这次会议是逻辑学家学习并讨论研究,交流思想和在科学项目中合作的重要进展的关键机会。大约一半的赠款资金致力于研究生和早期职业研究人员的旅行奖,以便他们参加会议。大多数参与者将是研究数学家和大学老师。他们在会议上学到的知识将对他们的研究和教学产生积极的影响。该会议计划在数学逻辑中进行十二次会谈,包括集合理论,模型理论,递归理论和哲学逻辑,在所有职业阶段都在这些领域中获得了出色的成果。其中一次会谈是为了纪念格雷格·霍斯(Greg Hjorth)的命名演讲。 2023 Hjorth的演讲者是Maryanthe Malliaris。会议的网页在http://www.math.ucla.edu/~ineeman/conf/vig2023/this Award上反映了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
相似国自然基金
面向航空发动机多模态变工况高性能运行的新型逻辑切换控制系统研究
- 批准号:62303262
- 批准年份:2023
- 资助金额:10 万元
- 项目类别:青年科学基金项目
时空逻辑知识驱动的智能决策关键技术研究
- 批准号:62372347
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
基于双适配体框架核酸多元蛋白逻辑识别的外泌体表面等离激元传感检测方法研究
- 批准号:22304026
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
自主控制软体气动逻辑回路在体积输入下的弹性失稳研究
- 批准号:12302219
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
强资源约束情境下新企业创业决策机制研究:多元逻辑协同视角
- 批准号:72362012
- 批准年份:2023
- 资助金额:27 万元
- 项目类别:地区科学基金项目
相似海外基金
The 2016 Santa Cruz Developmental Biology Meeting
2016 年圣克鲁斯发育生物学会议
- 批准号:
9193174 - 财政年份:2016
- 资助金额:
$ 1.5万 - 项目类别: