课题基金 / 基金详情

Logic Meeting at UCLA

Logic Meeting at UCLA
加州大学洛杉矶分校的逻辑会议
批准号:
1062135
负责人:
Itay Neeman
金额:
$1.2万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-12-01 至 2011-11-30
关键词:

项目摘要

项目成果

Itay Neeman的其他基金

相似基金

相关文献

中文摘要
翻译
三十多年来,加州大学洛杉矶分校的两年一度的逻辑会议一直是西海岸数学逻辑最重要的论坛之一。2011年的会议延续了这一系列。它将强调描述集合论、理论计算机科学、哲学逻辑和语言学以及复杂性理论。这次会议将为逻辑学家提供一个重要的机会,让他们了解和讨论研究中的重要进展,交流思想,并就科学项目进行合作。预计大多数参与者将是研究数学家和大学教师。至少一半的奖励资金将用于旅行补助,以帮助研究生和年轻研究人员前来参加会议。他们在大会上学到的东西将对他们的研究和教学产生积极影响。
英文摘要
The biennial logic meetings at UCLA have been among the most important forums for mathematical logic on the West Coast for over three decades. The 2011 meeting continues this series. It will emphasize descriptive set theory, theoretical computer science, philosophical logic and linguistics, and complexity theory. The conference will provide a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. Most of the participants are expected to be research mathematicians and university teachers. At least half the award funds will be used for travel grants to help graduate students and young researchers come to the conference. What they learn at the conference will have a positive impact on their research and teaching.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Forcing, inner models, and large cardinals.
Conference: Logic Meeting at UCLA
Logic Meeting at UCLA
Forcing with Large Cardinals
海外基金