｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,1,11]，“日期时间”：“2023-01-11T05:40:40Z”，“时间戳”：1673415640517｝，“引用计数”：24，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“7”，“许可证”：[｛“开始”：｛“日期部分”：[[2015,12,9]，“日期时间”：“2015-12-09T00:00Z”，“时间戳”用法：1449619200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,10]}”，“abstract”：“”我们证明了可数标记转移系统（LTS）之间的双相似关系是\u03a31<\/jats:sub>1<\/jats:sup>-完成（因此不是Borel），通过将自然数上的非井序集连续减少到它这对不可数空间上的概率和非确定性过程理论产生了影响，因为双相似性的逻辑特征（例如，基于分析空间的唯一结构定理的特征）需要一个公式具有可测量语义的可数逻辑。我们的简化表明，在图像无限过程中不存在这样的逻辑<\/jats:p>“，”DOI“：”10.1017\/s096012951500535“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,12,9]]，”date-time“：”2015-12-09T12:24:52Z“，”timestamp“：1449663892000}，”page“：“1265-1284”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Bisimility is not Borel”]，“prefix”：“10.1017”，“volume”“：”27“，”author“：[{”given“：”PEDRO“，”family“：”S\u00c1NCHEZ TERRAF“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2015,12,9]]}，”reference“：[{”key“：”S0960129515000535_ref2“，”first-page“：”25“，”article-title“：”ISO规范语言LOTOS简介“，”volume“：“14”，“author”：“Bolognesi”，“year”：“1987”，“journal-title”：“计算机网络”}，{“密钥”：“S0960129515000535_ref10“，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/S009753970444346X”}，{“key”：“S09K129515000.535_ref13”，“doo-asserted-by”：”publisher“，“doi:”10.1007\/978-3642-02995-0“}，“key“：”S090129515000535_ref17“volume-title”：“模态逻辑中的工具和技术”，“author”：“Kracht”，“year”：“1999”}，{“key”：“S0960129515000535_ref5”，“首页“：”11“，”volume-title“：”QEST“，”author“：”D'Argenio“，”year“：”2009“}，{“key”：“S096019515000535_ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.2001.2962”}，“key“：”S090129515000535_ref21“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/j.ic.2011.02.003“}”，{“key”：“S0960129515000535_ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S09K129511000454“}，{“key”：“S0960129515000535_ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（91）90030-6”}，}“keys”：“SO960129515000535 _ref12”，“doi-asserte-by”：“publisher”，“DI:”10.1201\/97889427“}”，{“：”publisher“，”doi“：”10.1017\/S0960129599002819“}，{”key“：”S0960129515000535_ref23“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-85473-6”}，{“key”：“S096019515000535_ref11”，“doo-asserted-by”：”publisher“，”doi“：”10.1016\/j.jpaa.2007.03.003 28“}，{”密钥“：”S0960129515000535_ref1“，”卷时间“：”模态逻辑手册”，“作者”：“Blackburn”，“年份”：“2006”}，{“key”：“S0960129515000535_ref24”，“unstructured”：“Wolovick N.（2012）。标记转换系统中的连续概率和非确定性，博士论文，国立C\u00f3rdoba大学。”}10.1016\/j.ic.2005.02.004“}，{“key”：“S09K129515000535_ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（00）00056-6”}，}“keys”：“SO960129515000535 _ref16”，“unstructured”：“Kechris A.S.（2011）。经典描述性集合理论；更正和更新。可在http://www.math.coltech.edu \/paperss\/CDST-corrections.pdf.”}、{“密钥”：“S0960129515000535_ref7“，“非结构化”：“Desharnais J.（1999）。标签马尔可夫过程，麦吉尔大学博士论文。“}，{”key“：”S0960129515000535_ref15“，”volume-title“：”经典描述性集合理论“，”author“：”Kechris“，”year“：”1994“}“，{“key”：”S0.96012951000535_ref3“，”unstructured“：”Celayes P.（2006）.Procesos de Markov Etiquetados sobre Espacios de Borel Est\u00eStandard，硕士论文，FaMAF，国立大学C\u00f3rdoba“}S0960129515000535_ref19“，”doi-asserted-by“：”publisher“，”doi“：”10.1090\/surv\/155“}，{“key”：“S090129515000.535_ref9”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/j.ic.2010.12.005”}]，“container-title”：[“Computer Science中的数学结构”]，“original title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000535“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,4,16]]，“date-time”：”2019-04-16T18:15:09Z“timestamp”：1555438509000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000535\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2015,12,9]]}，”references-count“：24，”journal-issue“：{”issue“：“7”，”published-print“：”{“date-parts”：[2017,10]}}、“alternative-id”：[“S09K129515000 535“]，”URL“：”http:\/\/dx.doi.org\/10.1017\/s096012951500535“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”09601295“，“type”：“print”}，{”value“：”1469-80072“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2015,12,9]]}}}}