Logic List Mailing Archive

New England Recursion Theory and Definability Seminar

30 October 2011
Worcester MA, U.S.A.

New England Recursion theory and Definability Seminar

The New England Recursion theory and Definability Seminar will start this 
fall with the first meeting on Sunday October 30 at Assumption College in 
Worcester, MA.  The general plan for the seminar is to meet once a 
semester to give people working in recursion theory and related areas 
(reverse mathematics, randomness, computable analysis, computability in 
uncountable settings, etc.) in the northeast region a chance to listen to 
three or four talks and to facilitate initiating and continuing joint 
projects.  Of course, we welcome attendance by anyone interested in these 
topics regardless of your area of research and our intention is to view 
recursion/computability theory in a broad manner.  We do not have funding 
to cover any travel or meal expenses.

The specific details of our initial meeting are below.  For anyone who 
wishes to be put on a regular email list for seminar announcement, please 
send your name, affiliation (if appropriate) and email address to

  Reed Solomon, david.solomon@uconn.edu

Reed will send out additional information (such as the building and room 
information at Assumption College) to the seminar email list as it becomes 
available.  We will also have a website set up before the first meeting, 
although probably not for another week or so.

The details of the first meeting are as follows:

Sunday October 30 at Assumption College in Worcester, MA

(The building and room information, travel instructions, parking information
and so on will be distributed via the seminar email list as it becomes
  available.)

Program

  11:00 - 12:00 -- Marcia Groszek (Dartmouth), An open problem in reverse
mathematics and infinitary combinatorics

  12:15 - 2:00 -- Lunch and discussion time

  2:00 - 3:00 -- Russell Miller (Queens College, CUNY), Computable difference
fields

  3:15 - 4:15  -- Johanna Franklin (University of Connecticut), Degrees which
are low for isomorphism