Department of

January 2019February 2019March 2019 Su Mo Tu We Th Fr Sa Su MoTuWe Th Fr Sa Su Mo Tu We Th Fr Sa 1 2 3 4 5 1 2 1 2 6 7 8 9 10 11 12 3 4 5 6 7 8 9 3 4 5 6 7 8 9 13 14 15 16 17 18 19 10 11 12 13 14 15 16 10 11 12 13 14 15 16 20 21 22 23 24 25 26 17 181920 21 22 23 17 18 19 20 21 22 23 27 28 29 30 31 24 25 26 27 28 24 25 26 27 28 29 30 31

Wednesday, February 13, 2019

**Abstract:** Well-quasi-orders, or wqos, generalize well-orders in the context of partial orders. They appear naturally in various domains of mathematics, and have been frequently rediscovered. I'll briefly explain why, and what we can do with them. I'll then talk about their limitations and why it's hard to prove that non-trivial quasi-orders are wqo. I will also show how trying to fix these problems leads to the definition of a smaller class of quasi-orders: better-quasi-orders, or bqos. If time allows, I'll get a bit into bqo theory.