https://zbmath.org/atom/cc/03E75 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.03152 2024-04-15T15:10:58.286558Z “劳伦斯·C·鲍尔森” https://zbmath.org/authors/？q=ai:paulson.lawrence-查尔斯 摘要：在标准Zermelo-Fraenkel集合理论中，证明了一个特殊的最终余代数定理，其形式为\textit{P.Aczel}的[Non-well-founded sets.引言由Jon Barwise.Stanford，CA：语言和信息研究中心（1988；Zbl 0668.04001）]。Aczel的反基础公理被函数的变体定义所取代，该函数允许非基础结构。可变序对和可能无限长的元组是可变函数的特例。Aczel的解和替换引理的类似物以\textit{J.J.M.M.Rutten}和\textit}D.Turi}[Lect.Notes Compute.Sci.666477-530（；url{doi:10.1007/3-540-56596-5_45}）]的风格得到了证明。这种方法不如Aczel的通用，但对无根据对象的处理是简单而具体的。函子的最后一个余代数是它的最大不动点。该理论用于机器实现，并且已经使用定理证明器Isabelle[\textit{L.C.Paulson}，Lect.Notes Compute.Sci.814，148--161（1994；Zbl 1433.68560）]实现了该理论的一个简单例子。关于整个系列，请参见[Zbl 0866.00037]。 https://zbmath.org/1530.54002 2024-04-15T15:10:58.286558Z “阿拉斯，圣迭戈” https://zbmath.org/authors/？q=ai:aras.cigdem-贡杜兹 “萨迪·贝拉莫夫” https://zbmath.org/authors/？q=ai:bayramov.sadi-一个 “阿尔祖·埃尔登·科什坤” https://zbmath.org/authors/？q=ai:coskun.arzu（中文）-厄德姆 摘要：在本文中，我们引入了双极软超拓扑空间的概念，并对双极软上闭包和双极软内点的相关概念进行了表征。我们还建立了双极软超拓扑和双极软拓扑之间的连接。此外，我们提出了双极软超连续映射的概念，并研究了双极性软超紧拓扑空间的概念。证明了双极软超紧空间图像的相关结果。最后，我们确定了不连通（连通）空间和强不连通（强连通）空间的概念，并导出了将它们联系在一起的几个结果。借助实例阐明了这些概念之间的关系。