Logic Meeting at UCLA
Logic Meeting at UCLA
批准号:
1305671
负责人:
Itay Neeman
金额:
$1.2万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-01-15 至 2013-12-31
中文摘要
PI提议于2013年2月1日至2月3日在加州大学洛杉矶分校举行为期三天的数理逻辑会议。会议将涵盖数理逻辑,广义解释,包括集合论,模型论,递归理论,计算机科学中的逻辑和数学哲学。会议将继续一系列两年一次的逻辑会议在加州大学洛杉矶分校,开始在20世纪70年代中期,一直是最重要的论坛之一,数学逻辑在西海岸。会议将是一个关键的机会,让逻辑学家了解和讨论研究的重要进展,交流思想,并在科学项目上合作。会议将做广告以吸引大批观众。研究生和研究人员在职业生涯的早期阶段,特别是,将被鼓励参加。组织者将确保妇女和少数民族数学家了解这次会议,并大力鼓励他们参加。
英文摘要
The PIs propose holding a three-day conference on mathematical logic at UCLA from February 1 to February 3, 2013. The conference will cover mathematical logic, broadly interpreted, including set theory, model theory, recursion theory, logic in computer science, and philosophy of mathematics. The conference will continue 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 conference will be a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. The conference will be advertised to attract a large audience. Graduate students and researchers at early career stages, in particular, will be encouraged to participate. The organizers will ensure that women and minority mathematicians are made aware of the conference and are strongly encouraged to participate.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Forcing, inner models, and large cardinals.
-
批准号:2246905
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:2023
-
负责人:Itay Neeman
-
依托单位:
Conference: Logic Meeting at UCLA
-
批准号:2302308
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2023
-
负责人:Itay Neeman
-
依托单位:
Logic Meeting at UCLA
-
批准号:1901676
-
项目类别:Standard Grant
-
资助金额:$1.4万
-
财政年份:2019
-
负责人:Itay Neeman
-
依托单位:
Forcing with Large Cardinals
-
批准号:1800613
-
项目类别:Standard Grant
-
资助金额:$9.4万
-
财政年份:2018
-
负责人:Itay Neeman
-
依托单位:
Forcing and Large Cardinals
-
批准号:1764029
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Itay Neeman
-
依托单位:
Logic meeting at UCLA
-
批准号:1700600
-
项目类别:Standard Grant
-
资助金额:$1.4万
-
财政年份:2017
-
负责人:Itay Neeman
-
依托单位:
Combinatorial Set Theory, Model Theory of Abstract Elementary Classes, and Borel Combinatorics
-
批准号:1700425
-
项目类别:Continuing Grant
-
资助金额:$11.7万
-
财政年份:2017
-
负责人:Itay Neeman
-
依托单位:
Logic Meeting at UCLA
-
批准号:1463601
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2015
-
负责人:Itay Neeman
-
依托单位:
Forcing and large cardinals
-
批准号:1363364
-
项目类别:Continuing Grant
-
资助金额:$42.8万
-
财政年份:2014
-
负责人:Itay Neeman
-
依托单位:
Large cardinals and the continuum
-
批准号:1101204
-
项目类别:Continuing Grant
-
资助金额:$28.59万
-
财政年份:2011
-
负责人:Itay Neeman
-
依托单位:
Collaborative Research: EMSW21-RTG: Logic in Southern California
-
批准号:1044604
-
项目类别:Continuing Grant
-
资助金额:$112.06万
-
财政年份:2011
-
负责人:Itay Neeman
-
依托单位:
Logic Meeting at UCLA
-
批准号:1062135
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2010
-
负责人:Itay Neeman
-
依托单位:
SM: Logic Summer School for Undergraduates
-
批准号:0963727
-
项目类别:Standard Grant
-
资助金额:$9.4万
-
财政年份:2010
-
负责人:Itay Neeman
-
依托单位:
Very Informal Gathering of Logicians; January 30 - February 1, 2009; Los Angeles, CA
-
批准号:0833743
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2008
-
负责人:Itay Neeman
-
依托单位:
Large Cardinals
-
批准号:0556223
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Itay Neeman
-
依托单位:
CAREER: Large Cardinals
-
批准号:0094174
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2001
-
负责人:Itay Neeman
-
依托单位:
Large Cardinals and the Determinacy of Long Games
-
批准号:0196007
-
项目类别:Standard Grant
-
资助金额:$5.55万
-
财政年份:2000
-
负责人:Itay Neeman
-
依托单位:
Large Cardinals and the Determinacy of Long Games
-
批准号:9803292
-
项目类别:Standard Grant
-
资助金额:$5.55万
-
财政年份:1998
-
负责人:Itay Neeman
-
依托单位:
海外基金