首页 | 本学科首页   官方微博 | 高级检索  
     


Fine Analysis of the Quasi-Orderings on the Power Set
Authors:Alberto Marcone
Affiliation:(1) Dipartimento di Matematica e Informatica, Università di Udine, viale delle Scienze 206, 33100 Udine, Italy
Abstract:We pursue the fine analysis of the quasi-orderings prcueexistforall and prcueforallexist on the power set of a quasi-ordering (Q,prcue). We set XprcueexistforallY if every xisinX is majorized in prcue by some yisinY, and XprcueforallexistY if every yisinY is minorized in prcue by some xisinX. We show that both these quasi-orderings are agr-wqo if and only if the original quasi-ordering is (agr sdot ohgr)-wqo. For prcueforallexist this holds also restricted to finite subsets, thus providing an example of a finitary operation on quasi-orderings which does not preserve wqo but preserves bqo.
Keywords:well quasi-ordering  better quasi-ordering    /content/bv7xl4hwjuhqujvq/xxlarge945.gif"   alt="  agr"   align="  BASELINE"   BORDER="  0"  >-wqo
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号