Towards Better: A motivated introduction to betterquasiorders
Abstract
The wellquasiorders (WQO) play an important role in various fields such as Computer Science, Logic or Graph Theory. Since the class of WQOs lacks closure under some important operations, the proof that a certain quasiorder is WQO consists often of proving it enjoys a stronger and more complicated property, namely that of being a betterquasiorder (BQO). Several articles contains valuable introductory material to the theory of BQOs. However, a textbook entitled "Introduction to betterquasiorder theory" is yet to be written. Here is an attempt to give a motivated and selfcontained introduction to the deep concept defined by NashWilliams that we would expect to find in such a textbook.
 Publication:

arXiv eprints
 Pub Date:
 April 2016
 arXiv:
 arXiv:1604.05866
 Bibcode:
 2016arXiv160405866P
 Keywords:

 Mathematics  Logic;
 Mathematics  Combinatorics;
 6A06;
 06A07;
 05D10;
 03E75
 EPrint:
 EMS Surveys in Mathematical Sciences, Volume 4, Issue 2, 2017, pp. 185218