論文

査読有り
2019年

ON THE COMMUTATIVITY OF THE POWERSPACE CONSTRUCTIONS

LOGICAL METHODS IN COMPUTER SCIENCE
  • Matthew de Brecht
  • ,
  • Tatsuji Kawai

15
3
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.23638/LMCS-15(3:13)2019
出版者・発行元
LOGICAL METHODS COMPUTER SCIENCE E V

We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutativity is equivalent to the topological property of consonance. We then investigate powerspace constructions on the open set lattices of quasi-Polish spaces, and provide a complete characterization of how the upper and lower powerspaces distribute over the open set lattice construction.

Web of Science ® 被引用回数 : 3

リンク情報
DOI
https://doi.org/10.23638/LMCS-15(3:13)2019
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000485147800007&DestApp=WOS_CPL
ID情報
  • DOI : 10.23638/LMCS-15(3:13)2019
  • ISSN : 1860-5974
  • Web of Science ID : WOS:000485147800007

エクスポート
BibTeX RIS