Date: Sunday, April 7, 2013
Time: 9:30 am-5:20 pm
Place: Fulton Hall 423, Boston College
The meeting will be the Special Session “Recursion and Definability” of the AMS Meeting in April 2012. The session is organized by Rachel Epstein, Karen Lange and Russell Miller. For directions and other information, consult the page of the AMS Meeting.
|9:30–10:00||Brooke Andersen (Assumption College)||Using complete sets to distinguish reducibilities|
|10:00–10:50||Bjorn Poonen (Massachusetts Institute of Technology)||Some undecidable problems|
|11:00–3:00||Lunch and discussion time|
|3:00–4:00||Richard Shore (Cornell University)||The Limits of Determinacy in Second Order Arithmetic: Consistency and Complexity Strength|
|4:00–4:30||Johanna Franklin (University of Connecticut)||Weak Demuth randomness and computational strength|
|4:30–5:00||Rehana Patel (Olin College of Engineering)||A Random Walk Through Zero-One Laws for Classes of Graphs with a Forbidden Subgraph|
|5:00–5:30||Nathanael Ackerman (Harvard University)||Computability of 0-1 Laws|
For abstracts, consult the page of the AMS Special Session.