Birs- 19w5111: Reverse Mathematics of Combinatorial Principles

  1. Title:
    Reverse mathematics and the ascending chain condition
    Speaker:
    Stephen G. Simpson

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909161010-Simpson.html

  2. Title:
    The open and clopen Ramsey theory in the Weihrauch lattice
    Speaker:
    Alberto Marcone

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909161140-Marcone.html

  3. Title:
    Questions about Hindman’s theorem
    Speaker:
    Jeff Hirst

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909161500-Hirst.html

  4. Title:
    The reverse mathematics of Büchi’s decidability theorem
    Speaker:
    Leszek Kolodziejczyk

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909161630-Kolodziejczyk.html

  5. Title:
    Cohesive trees
    Speaker:
    Chitat Chong

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909170930-Chong.html

  6. Title:
    Open Problems in the Reverse Mathematics of Ramsey Theory on Trees and Graphs
    Speaker:
    Natasha Dobrinen

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909171100-Dobrinen.html

  7. Title:
    SRT22 does not imply COH in omega models
    Speaker:
    Ludovic Patey

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909171500-Patey.html

  8. Title:
    Lowness of the pigeonhole principle
    Speaker:
    Benoit Monin

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909171630-Monin.html

  9. Title:
    Reverse math of the dual Ramsey theorem
    Speaker:
    Linda Brown Westrick

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909190930-Westrick.html

  10. Title:
    Some propositions between WWKL0 and WKL0
    Speaker:
    Wei Wang

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909191100-Wang.html

  11. Title:
    The first-order part of Ramsey’s theorem for pairs
    Speaker:
    Keita Yokoyama

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909191500-Yokoyama.html

  12. Title:
    Weihrauch degrees of closed choice on finite spaces
    Speaker:
    Arno Pauly

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909191630-Pauly.html

  13. Title:
    The reverse mathematics of an inside-outside Ramsey theorem
    Speaker:
    Paul Shafer

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909200930-Shafer.html

  14. Title:
    Relationships between preservation properties of problems
    Speaker:
    Noam Greenberg

    Link:
    http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909201100-Greenberg.html