[FOM] Announcing the New England Recursion theory and Definability Seminar

[Joel David Hamkins]

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 at 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