{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,3]]，“日期-时间”：“2022-04-03T00:42:04Z”，“时间戳”：1648946524315}，“参考-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“6”，“许可证”：[{“开始”：{-“日期-零件”：[[2002,1,9]]，”日期-时间“：“2002-01-09T00:00:00Z”，“时间戳”：101053440000｝，“内容版本”：“未指定”，“延迟天数”：39，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“Math.Struct.Comp.Sci.”]，“已发布的印刷品”：｛“日期部分”：[[2001,12]]]｝，“摘要”：“几何理论上的某些有限结构条件足以使其将拓扑分类为预处理拓扑。这些条件断言，从理论的有限结构到模型的每一个同态都是通过有限模型产生的，并且在有限可表示模型都是有限的情况下，这些条件成立<\/jats:p>这些条件被证明适用于强代数（或SFP）信息系统理论和一些变体，以及其他一些已知被预处理拓扑分类的理论<\/jats:p>这项工作始终坚持几何建构主义，因此通过最小上界集和有限偏序集序列，提供了2018主题2019领域类别（拓扑和几何形态类别中的内部），类似于Plotkin对强代数领域的双重表征<\/jats:p>“，”DOI“：”10.1017\/s0960129501003437“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,7,31]]，”date-time“：”2008-07-31T08:22:25Z“，”timestamp“：1217492545000}，”page“：“717-742”，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“强代数=SFP（局部）”]，“前缀”：“10.1017“，”卷“：”11“，”作者“：[{”给定“：”史蒂文“，”family“：”VICKERS“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2002,1,9]]}，”container-title“：[”Mathematical Structures in Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\//www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129501003437，“内容类型”：unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,7]]，”date-time“：”2019-05-07T21:36:02Z“，”timestamp“：1557264962000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S09K129501003437\/type\/journal_article“}}}，“字幕”：[]，“shorttitle“：[]，”issued“：{”date-parts“：[[2001,12]]}，”references-count“：0，”journal-sissue“：{“issue”：“6”，“published-print”：{“date-part”：[[20001,12]}}，“alternative-id”：[“S09601129501003437”]，“URL”：“http://\/dx.doi.org\/10.10017\/S0960129501003437.”，“relation”：{}，60-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”0960-1295”，“type”：“print”}，{”值“：”1469-8072“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2001,12]]}}}