{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11,14]]，“日期-时间”：“2023-11-14T18:42:01Z”，“时间戳”：1699987321308}，“参考-计数”：18，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2476，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,6]}”，“abstract”：“”摘要<\/jats:title>本文研究了子区域的局部概念是如何转移到形式拓扑的。对于任何形式拓扑（不一定带有正谓词），我们将子局部定义为包含形式拓扑的覆盖关系。子位置族具有集合诱导连接。对于每一组基本元素，都有相应的开放和闭合子区域，它们是布尔互补的。它们在子区域之间生成布尔代数。在归纳生成的形式拓扑的情况下，归纳生成的子位置集合具有余帧结构<\/锯齿：p>描述了显子局部和弱闭子局部，并通过一个新的概念将\u201crest闭\u201d子局部与二元正谓词联系起来。感应生成的形式拓扑的显式弱闭子区域与\u201clower powerpoints\u201d是双向映射的，这是由下powerlocale的非直接理论引起的<\/锯齿：p>描述了紧凑子定位器和拟合子定位器。感应生成形式拓扑的紧凑拟合子区域与\u201cupper powerpoints\u201d进行双向投影，这是由上powerlocale的非指示理论引起的<\/jats:p>“，”DOI“：”10.2178\/jsl\/1185803619“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T11:24:48Z“，”timestamp“：1198063488000}，”page“：“463-482”，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“形式拓扑中的子区域设置”]，“前缀”：“10.1017”，“卷”：“72”，“作者”：[{“给定”：“史蒂文”，“家庭”：“Vickers“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S0022481200005314_ref017“，”doi-asserted-by“：”publisher“，”doi“：”10.1093\/acprof:oso\/9780198566519.003.0014“}”，{“key”：“S00224820005314_rf011”，“doi-assert-b”y“：”publisher“，”doi“：”10.1016\/S0304-3975（02）00704-1“}，{“key“：”S0022481200005314_ref006“，”first page“：“155”，”volume-title“：”Continuous lattices and their applications“，”author“：”Johnstone“，”year“：”1985“}，{“key”：”S02248120000514_ref004“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.apal.2005.021”}，“key“：“10.1023\/A:102355514029”}，{“key“：”S0022481200005314_ref001“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/S0960129500000876“}，{“key”：“S0022481 200005314_ ref012”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/s00153-004-0243-1”}，“key“:”S00224.81200005314 _ref010“，-0897-3_12“}，{”键“：”S0022481200005314_ref002“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0168-0072（03）00052-6“}，{“key”：“S0022481200005314_ref016”，“doi-assert-by”：“publisher”，“doi”：“10.1017\/S0960129599002741”}，“key“：“年份”：“2002”}，{“密钥”：S0022481200005314_ref014”，“第一页”：“199”，“卷标题”：“理论和形式计算方法1994”，“作者”：“Vickers”，“年份”：“1995”}，{“密钥”：“S0022481200005314_ref005”，“卷标题”：“Stone space”，“作者”：“Johnstone”，“年份”：“1982”}，{“密钥”：“S0022481200005314_ref008”，“第一页”：“967”，“卷”：“69”，“作者”：“Maietti”，“年份”：“2004”，“journal-title“：“形式拓扑的结构研究：形式覆盖的Corefection和可指数性”}，{“key”：“S0022481200005314_ref015”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S0305004196001636”}S0022481200005314_ref013“，“volume-title”：“通过逻辑的拓扑”，“author”：“Vickers”，“year”：“1989”}，{“key”：“S0022481 200005314_ ref009”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S0960129501003450”}]，“container-title“：[”符号逻辑杂志“]，“original-tittle”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005314“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,1]]，“date-time”：”2019-05-01T18:12:38Z“，“timestamp”：1556734358000}，“score”：1，“resource”:{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005314\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2007,6]]}，”references-count“：18，”journal-issue“：{”issue“：“2”，“published-print”:{“date-parts”：[2007,6]}}、“alternative-id”：[“S0022481120000”5314“]，”URL“：”http:\/\/dx.doi.org\/10.2178\/jsl\/1185803619“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”值“：”0022-48012“，“type”：“print”}，{”价值“：”1943-58“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2007,6]]}}}}