Geodesic
Towards better: A motivated introduction to better-quasi-orders
Yann Pequignot1
1University of Los Angeles, USA
EMS surveys in mathematical sciences, Tome 4 (2017) no. 2, pp. 185-218

Voir la notice de l'article provenant de la source EMS Press

DOI

The well-quasi-orders (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 quasi-order is WQO consists often of proving it enjoys a stronger and more complicated property, namely that of being a better-quasi-order (BQO).
DOI : 10.4171/emss/4-2-2
Classification : 03-XX, 05-XX, 06-XX
Mots-clés : Poset, partially ordered sets, partial orders, quasi-orders, well-founded quasi-orders, well-quasi-orders, wqo, better-quasi-orders, bqo

Yann Pequignot  1

1 University of Los Angeles, USA 
Yann Pequignot. Towards better: A motivated introduction to better-quasi-orders. EMS surveys in mathematical sciences, Tome 4 (2017) no. 2, pp. 185-218. doi: 10.4171/emss/4-2-2
@article{10_4171_emss_4_2_2,
     author = {Yann Pequignot},
     title = {Towards better: {A} motivated introduction to better-quasi-orders},
     journal = {EMS surveys in mathematical sciences},
     pages = {185--218},
     year = {2017},
     volume = {4},
     number = {2},
     doi = {10.4171/emss/4-2-2},
     url = {http://geodesic.mathdoc.fr/articles/10.4171/emss/4-2-2/}
}
TY  - JOUR
AU  - Yann Pequignot
TI  - Towards better: A motivated introduction to better-quasi-orders
JO  - EMS surveys in mathematical sciences
PY  - 2017
SP  - 185
EP  - 218
VL  - 4
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4171/emss/4-2-2/
DO  - 10.4171/emss/4-2-2
ID  - 10_4171_emss_4_2_2
ER  - 
%0 Journal Article
%A Yann Pequignot
%T Towards better: A motivated introduction to better-quasi-orders
%J EMS surveys in mathematical sciences
%D 2017
%P 185-218
%V 4
%N 2
%U http://geodesic.mathdoc.fr/articles/10.4171/emss/4-2-2/
%R 10.4171/emss/4-2-2
%F 10_4171_emss_4_2_2

Cité par Sources :