The Notre Dame logic group will invigorate broad discussions among faculty and students across logic through a conference and a short summer school course. During a week-long Conference on Vaught's Conjecture and Classification of Countable Structures in May of 2005, model theorists, computability theorists and descriptive set theorists will share their different perspectives on this long-intractable problem and the research it has spawned. A June, 2005, two-week Short Course in Proof Theory, aimed at graduate students in mathematical logic, computer science and philosophy, will fill a gap in the educational experience of students in the U.S. and promote interdisciplinary interaction.

The course in proof theory is deliberately designed to foster interaction between graduate students in mathematics, computer science and philosophy. The venue will broaden the student's perspective on their scholarly pursuits and career options.

Vaught's conjecture has been studied from the perspectives of different disciplines for decades. The purpose of the conference is to share these different perspectives with a focus on the problem rather than the tools. The interdisciplinary nature of Conference on Vaught's Conjecture and Classification of Countable Structures will have the added benefit of making the talks more accessible to graduate students at all levels.

Agency
National Science Foundation (NSF)
Institute
Division of Mathematical Sciences (DMS)
Type
Standard Grant (Standard)
Application #
0516576
Program Officer
Tomek Bartoszynski
Project Start
Project End
Budget Start
2005-04-01
Budget End
2006-03-31
Support Year
Fiscal Year
2005
Total Cost
$22,200
Indirect Cost
Name
University of Notre Dame
Department
Type
DUNS #
City
Notre Dame
State
IN
Country
United States
Zip Code
46556