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


Fine Analysis of the Quasi-Orderings on the Power Set
Authors:Alberto Marcone
Institution:(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 prcueexist forall and prcueforall exist on the power set of a quasi-ordering (Q,prcue). We set Xprcueexist forall Y if every xisinX is majorized in prcue by some yisinY, and Xprcueforall exist Y 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 prcueforall exist 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  agr-wqo" target="_blank">gif" alt="agr" align="BASELINE" BORDER="0">-wqo
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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