文件大小：0.63 MB 10页
作为理想空间的拟光滑空间的赋值空间的构造
作者
-
部分： 体积： 第30届EACSL计算机科学逻辑年会（CSL 2022）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2022-01-27
文件
文件标识符
致谢
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算数学→拓扑 计算理论→概率计算
关键词
拟Polish空间 估价空间 领域理论 测量理论
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
R.陈。 Borel函子、解释和ℒ_ω的强概念完备性。 《美国数学学会学报》，372:8955-89832019年。 
-
布莱希特先生。 准抛光空间。 《纯粹逻辑与应用逻辑年鉴》，164:356-3812013年。
-
布莱希特先生。 将准波兰空间的连续估值扩展到Borel测度。 第十二届国际可计算性和分析复杂性会议，2015年。
-
布莱希特先生。 关于理想空间和可计算拓扑的一些注记。 《第16届欧洲可计算性会议论文集》，CiE 2020，计算机科学讲义第12098卷，第26-37页，2020年。
-
M.de Brecht、J.Goubault-Larrecq、X.Jia和Z.Lyu。 域完备和LCS-完备空间。 理论计算机科学电子笔记，345:3-352019。
-
M.de Brecht和T.Kawai。 关于幂空间结构的可交换性。 《计算机科学中的逻辑方法》，2019年第15:1-25页。
-
M.de Brecht、A.Pauly和M.Schröder。 公开选择。 可计算性，2020年9月169-191日。
-
G.Gierz、K.H.Hofmann、K.Keimel、J.D.Lawson、M.W.Mislove和D.S.Scott。 连续格和域。 剑桥大学出版社，2003年。
-
J.古堡-拉雷克。 超空间、连续估值和预测的完全准度量。 arXiv，2017年。 网址： http://arxiv.org/abs/1707.03784 . -
J.Goubault-Larrecq和K.Ng。关于正式舞会的一些注释。 计算机科学中的逻辑方法，13（4）：1-342017。
-
R.赫克曼。 估价空间。 《纽约科学院年鉴》，806（1）：174-2001996年。
-
R.赫克曼。 可数表示区域的空间性（用Baire范畴定理证明）。 数学。 结构。 在Comp。 《科学》，2015年，25:1607-1625。
-
M.Hoyrup和C.Rojas。 度量空间上概率测度的可计算性和Martin-Löf随机性。 《信息与计算》，207:830-8472009。
-
C.琼斯。 概率非确定性。 爱丁堡大学博士论文，1989年。
-
C.穆默特。 关于一般拓扑的反数学。 宾夕法尼亚州立大学博士论文，2005年。
-
C.穆默特。 MF空间的逆向数学。 《数理逻辑杂志》，06（02）：203-2322006。
-
C.Mummert和F.Stephan。 Poset空间的拓扑方面。 密歇根数学杂志，59（1）：3-242010。
-
A.Pauly、D.Seon和M.Ziegler。 计算Haar度量。 第28届EACSL计算机科学逻辑年会，CSL 2020，LIPIcs第152卷，第34:1-34:17页，2020年。
-
M.Schröder先生。 概率测度的可接受表示。 选举人。 注释Theor。 计算。 科学。， 167:61-78, 2007.
-
S.维克斯。 下积分和上积分的局部理论。 《数学逻辑季刊》，54:109-1232008。
-
K.Weihrauch。 可计算分析。 斯普林格，2000年。