{"title":"Powerposets","authors":"Takanori Adachi","doi":"10.1016/S0019-9958(85)80057-7","DOIUrl":null,"url":null,"abstract":"<div><p>We introduce the notion of powerposets which is a natural generalization of that of powersets with inclusion as their partial ordering. We show that every powerposet is an algebraic semilattice and that every continuous poset can be directed—continuously embeddable into some powerposet. We also discuss the possibility of making powerposets into <em>λ</em>-models as in the case of Plotkin-Scott's <em>Pω</em> theory.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"66 3","pages":"Pages 138-162"},"PeriodicalIF":0.0000,"publicationDate":"1985-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(85)80057-7","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"信息与控制","FirstCategoryId":"1093","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0019995885800577","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 0
Abstract
We introduce the notion of powerposets which is a natural generalization of that of powersets with inclusion as their partial ordering. We show that every powerposet is an algebraic semilattice and that every continuous poset can be directed—continuously embeddable into some powerposet. We also discuss the possibility of making powerposets into λ-models as in the case of Plotkin-Scott's Pω theory.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
