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

---