EMSW21 - RTG: Research Training in Mathematical Logic at Notre Dame
EMSW21 - RTG: Research Training in Mathematical Logic at Notre Dame
批准号:
0739007
负责人:
Peter Cholak
金额:
$15.1万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-08-01 至 2010-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The logic group at Notre Dame is well established. Our graduatetraining program produces doctorates who have experienced the manydimensions of research, teaching, and mathematical communication. AtNotre Dame, the students develop a solid independent research record.They make themselves known to the international mathematical communityby participating in conferences and workshops and giving talks, inaddition to writing papers. They have the opportunity to discussresearch with specialists from around the world, and to participate incollaborative research. By the time they graduate, they are fullmembers of the international community of mathematicians. Notre Dameoffers graduate students opportunities to teach and training to helpthem be successful. Our students have experienced a greater varietyof teaching experiences.Our logic postdoctoral associates have been allowed significant timeto develop a research program of their own. They have taught studentsof all levels, from first-year liberal arts undergraduates to advancedgraduate students. They have been involved in mentoring graduatestudents, in leading small group learning activities, and other moreadvanced aspects of faculty life.This grant provides partial support for all of the US nationalsstudying Mathematical Logic at Notre Dame, and support for the firstof a two year postdoctoral associate in logic. In addition, it willprovide some travel money for the students and postdoctoral associate,and some money for books for the students. Finally, the grant willprovide some travel money for outside visitors to come to Notre Dameto interact with the faculty, students, and postdoctoral associate.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FRG: Collaborative Research: Computability-Theoretic Aspects of Combinatorics
-
批准号:1854136
-
项目类别:Standard Grant
-
资助金额:$27.2万
-
财政年份:2019
-
负责人:Peter Cholak
-
依托单位:
Ramsey Theory and Computability: Rome
-
批准号:1822193
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2018
-
负责人:Peter Cholak
-
依托单位:
US Participation in New Zealand Logic Meetings
-
批准号:1640836
-
项目类别:Standard Grant
-
资助金额:$3.43万
-
财政年份:2016
-
负责人:Peter Cholak
-
依托单位:
EMSW21-RTG: Notre Dame's Mathematical Logic Program
-
批准号:0838506
-
项目类别:Continuing Grant
-
资助金额:$117.8万
-
财政年份:2009
-
负责人:Peter Cholak
-
依托单位:
Topics in Computability Theory
-
批准号:0800198
-
项目类别:Continuing Grant
-
资助金额:$12.39万
-
财政年份:2008
-
负责人:Peter Cholak
-
依托单位:
FRG: Collaborative Research: Algorithmic Randomness
-
批准号:0652669
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Peter Cholak
-
依托单位:
Definability and Automorphisms in Computability Theory
-
批准号:0245167
-
项目类别:Continuing Grant
-
资助金额:$36.29万
-
财政年份:2003
-
负责人:Peter Cholak
-
依托单位:
Computability and definability in mathematical logic
-
批准号:9988716
-
项目类别:Continuing Grant
-
资助金额:$8.52万
-
财政年份:2000
-
负责人:Peter Cholak
-
依托单位:
Mathematical Sciences: Computability in Mathematics
-
批准号:9634565
-
项目类别:Standard Grant
-
资助金额:$6.45万
-
财政年份:1996
-
负责人:Peter Cholak
-
依托单位:
Mathematical Sciences: Postdoctoral Research Fellowship
-
批准号:9206186
-
项目类别:Fellowship Award
-
资助金额:$7.5万
-
财政年份:1992
-
负责人:Peter Cholak
-
依托单位:
海外基金