Meetings

National International Sectional Current Meetings Previous Meetings Presenting Papers Hosting Sectional Meetings Short Courses AMS Conferences Special Lectures Mathematics Calendar In Cooperation with Submitting Abstracts

AMS Sectional Meeting Program by Special Session

Current as of Monday, April 17, 2006 00:33:27

---

Program  |  Deadlines  |  Registration/Housing/Etc.  |  Special Event or Lecture  |  Inquiries:  meet@ams.org

---

2006 Spring Central Sectional Meeting
Notre Dame, IN, April 8-9, 2006 (Saturday - Sunday)
Meeting #1016

Associate secretaries:
Susan J Friedlander, AMS susan@math.northwestern.edu

---

Special Session on Model Theory and Computability

• Saturday April 8, 2006, 8:30 a.m.-11:20 a.m.
  Special Session on Model Theory and Computability, I
  Room 155, DeBartolo Hall
  Organizers:
  Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
  Julia Knight, University of Notre Dame knight.1@nd.edu
  Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
  Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu
  

  • 8:30 a.m.
    The Theorem of the Complement for Sub-Pfaffian Sets.
    Jean-Marie Lion, Université de Rennes I, France
    Patrick Speissegger*, McMaster University
    (1016-03-37)
  • 9:00 a.m.
    Computability-theoretic and proof-theoretic aspects of the atomic model theorem.
    Denis R. Hirschfeldt*, University of Chicago
    Richard A. Shore, Cornell University
    Theodore A. Slaman, University of California, Berkeley
    (1016-03-200)
  • 9:30 a.m.
    On the Number of Arithmetic Steps Needed To Generate the Greatest Common Divisor of Two Integers.
    Lou van den Dries*, University of Illinois at Urbana-Champaign
    (1016-03-242)
  • 10:00 a.m.
    Discussion
  • 10:30 a.m.
    Quasi-finitely axiomatizable strongly minimal theories.
    David Lippel*, University of Notre Dame
    (1016-03-224)
  • 11:00 a.m.
    Continuous logic and perturbations of metric structures.
    Itay Ben-Yaacov*, University of Wisconsin - Madison
    (1016-03-197)
• Saturday April 8, 2006, 3:00 p.m.-4:50 p.m.
  Special Session on Model Theory and Computability, II
  Room 155, DeBartolo Hall
  Organizers:
  Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
  Julia Knight, University of Notre Dame knight.1@nd.edu
  Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
  Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu
  

  • 3:00 p.m.
    Relative categoricity for finitely generated fields.
    Thomas Warren Scanlon*, University of California, Berkeley
    (1016-03-321)
  • 3:30 p.m.
    On Model Theoretic Properties of Structures Expanding Dense Linear Orderings.
    Alf Dolich*, McMaster University
    (1016-03-255)
  • 4:00 p.m.
    Degree Spectra of Homogeneous Models.
    Karen M. Lange*, University of Chicago
    (1016-03-212)
  • 4:30 p.m.
    The quasi-isometry problem for finitely generated groups.
    Simon Thomas*, Rutgers University
    (1016-03-41)
• Sunday April 9, 2006, 8:00 a.m.-11:20 a.m.
  Special Session on Model Theory and Computability, III
  Room 155, DeBartolo Hall
  Organizers:
  Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
  Julia Knight, University of Notre Dame knight.1@nd.edu
  Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
  Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu
  

  • 8:00 a.m.
    Ranked sets and weak truth-table reducibility.
    John Chisholm, Western Illinois University
    Jennifer Chubb, George Washington University
    Valentina Harizanov, George Washington University
    Denis Hirschfeldt, University of Chicago
    Carl G. Jockusch, Jr.*, University of Illinois at Urbana-Champaign
    Timothy McNicholl, Lamar University
    Sarah Pingrey, George Washington University
    (1016-03-156)
  • 8:30 a.m.
    Strong degree spectra of relations.
    John Chisholm, Western Illinois University
    Jennifer Chubb, George Washington University
    Valentina S. Harizanov*, George Washington University
    Denis Hirschfeldt, University of Chicago
    Carl G. Jockusch, Jr., University of Illinois at Urbana-Champaign
    Timothy McNicholl, Lamar University
    Sarah Pingrey, George Washington University
    (1016-03-184)
  • 9:00 a.m.
    More than counting quantifiers.
    Michael C Laskowski*, University of Maryland
    (1016-03-225)
  • 9:30 a.m.
    Filters on computable posets.
    Steffen Lempp, University of Wisconsin, Madison
    Carl Mummert*, Appalachian State University
    (1016-03-146)
  • 10:00 a.m.
    Categoricity spectrum for uncountable continuous theories.
    Alex Usvyatsov*, UCLA
    (1016-03-270)
  • 10:30 a.m.
    Countable dense subsets in second-order arithmetic.
    Bjørn Kjos-Hanssen*, Department of Mathematics, University of Connecticut, Storrs
    (1016-03-122)
  • 11:00 a.m.
    Computable linearizations of well-partial-orderings.
    Antonio Montalban*, University of Chicago
    (1016-03-32)
• Sunday April 9, 2006, 3:00 p.m.-5:50 p.m.
  Special Session on Model Theory and Computability, IV
  Room 155, DeBartolo Hall
  Organizers:
  Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
  Julia Knight, University of Notre Dame knight.1@nd.edu
  Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
  Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu
  

  • 3:00 p.m.
    Integral-definite rational functions in theories of valued fields.
    Deirdre Haskell*, McMaster University
    Yoav Yaffe, McMaster University
    (1016-12-188)
  • 3:30 p.m.
    The Complexity of Ideals and Subspaces.
    Rod Downey, Victoria University of Wellington
    Steffen Lempp, University of Wisconsin, Madison
    Joseph R Mileti*, University of Chicago
    (1016-03-231)
  • 4:00 p.m.
    Definability theory in model complete o-minimal structures with applications.
    Alex J. Wilkie*, Mathematical Institute, University of Oxford.
    (1016-03-57)
  • 4:30 p.m.
    Model Theory and Enumeration Reducibility.
    Thomas F Kent*, Brigham Young University
    (1016-03-296)
  • 5:00 p.m.
    Hilbert's Tenth Problem for function fields over $p$-adic fields.
    Kirsten Eisentraeger*, University of Michigan
    (1016-11-134)
  • 5:30 p.m.
    A Remark on Zilber's Pseudoexponentiation.
    David Marker*, University of Illinois at Chicago
    (1016-03-179)

Inquiries:  meet@ams.org

---

Quick Links

Special Session Manual

Guidelines for speakers