Department of

January 2019 February 2019 March 2019 Su Mo Tu We Th Fr Sa Su Mo Tu We 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 18 19 20 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.