Birs- 13w5047: Computable Model Theory

  1. Title:
    Properties on a Cone, and Sigma-Small theories
    Speaker:
    Antonio Montalban

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311040902-Montalban.html

  2. Title:
    Relative recursiveness of models of a strongly minimal theory
    Speaker:
    Uri

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311041035-Andrews.html

  3. Title:
    Degrees of Categoricity and Related Notions
    Speaker:
    Barbara Csima

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311050902-Csima.html

  4. Title:
    Examples of low for isomorphism degrees
    Speaker:
    David Reed Solomon

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311051033-Solomon.html

  5. Title:
    Some recent results on possible spectra of strongly minimal theories in infinite recursive binary relational languages
    Speaker:
    Steffen Lempp

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311051533-Lempp.html

  6. Title:
    Computably Enumerable Structures
    Speaker:
    Bakhadyr Khoussainov

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311060904-Khoussainov.html

  7. Title:
    ℵ0 categoricity in Admissible Fragments
    Speaker:
    Vadim Puzarenko

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311061035-Puzarenko.html

  8. Title:
    The theory of fields is complete for isomorphisms
    Speaker:
    Russell Miller

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311070903-Miller.html

  9. Title:
    Equivalance relations on computable structures
    Speaker:
    Ekaterina Fokina

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311071034-Fokina.html

  10. Title:
    Large Degree Spectra
    Speaker:
    Dan Turetsky

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311071104-Turetsky.html