https://zbmath.org/atom/cc/03E 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.00013 2024-04-15T15:10:58.286558Z “罗伯茨，萨姆” https://zbmath.org/authors/？q=ai:roberts.sam “夏皮罗，斯图尔特” https://zbmath.org/authors/？q=ai:shapiro.stewart 摘要：对抽象主义程序的一个突出批评是所谓的“坏公司”反对。人们的抱怨是，抽象原则一般来说不可能成为引入数学理论的合法方式，因为其中有些是不一致的。当然，最臭名昭著的例子是弗雷格的基本法V。对这一反对意见的常见反应表明，当数学理论是稳定的时，即当它可以在所有足够大的域上实现时，可以使用抽象原则来合法地引入数学理论。在本文中，我们对Bad Company反对意见的回应表示担忧。我们认为，也许令人惊讶的是，这需要对二阶量词的范围进行非常有力的假设；抽象主义者应该拒绝的假设。 https://zbmath.org/1530.03001 2024-04-15T15:10:58.286558Z “Abrusci，Vito Michele” https://zbmath.org/authors/？q=ai:abrusci.vito-米歇尔 “托托拉·德·法尔科，洛伦佐” https://zbmath.org/authors/？q=ai:tortora-德费尔科·洛伦佐 见[Zbl 1305.03001]第1卷审查。 https://zbmath.org/1530.03005 2024-04-15T15:10:58.286558Z 费尔南多·费雷拉 https://zbmath.org/authors/？q=ai:ferreira.fernando-迈亚|ferreira.fernando|ferreila.fernado-j-t-e|ferreirea.fernanda-fagundes|ferreira.fernando-a-f|ferreia.fernado-m-l|ferreilira.ferrando-l-s （无摘要） https://zbmath.org/1530.03010 2024-04-15T15:10:58.286558Z “秋弘，金山” https://zbmath.org/authors/？q=ai:kanamori.akihiro 出版商的描述：集合论最初建立在数的康托利扩张到无穷大和Zermelian公理化的基础上，为数学奠定了基础。今天，集合论是一个丰富而复杂的数学领域，它已经被哥德尔和科恩的建模技术所投资，在其正在进行的无限集研究中，纳入了一系列涉及大基数的强大假设。这本书是集合理论的伴侣，因为它汇集了阐明历史发展、哲学共鸣和当前数学活动的论文。第一部分，历史，有关于20世纪早期集合论的发展和涉及的文章，这些文章揭示了与当时正在进行的数学的相互作用。第二部分，哲学，有一些论文，讨论了数学哲学及其实践中的相关问题和考虑。第三部分，数学，有几篇现代集合论的数学论文，它们的主题范围使它们成为“散文”。最后，第四部分，生活在集合论中，有一些关于杰出集合理论家到今天为止的生活工作的文章，这些文章展示了数学研究。 https://zbmath.org/1530.03015 2024-04-15T15:10:58.286558Z “波哥诺夫斯基，杰西” https://zbmath.org/authors/？q=ai:pogonowski.jerzy 摘要：规范性公理是由著名的波兰逻辑学家罗曼·苏斯科于1951年提出的，作为对斯科勒姆悖论的解释（没有参考Löwenheim-Skolem定理）和亚伯拉罕·弗伦克尔（Abraham Fraenkel）早先提出的集合论中限制公理的精确表示。我们讨论了Suszko贡献的主要特征，并暗示了其可能的进一步应用。这篇论文的目的相当谦虚：我只是想回忆一下苏斯科的想法，并添加了一些评论，希望它们能激励年轻科学家进一步发展这些想法。 https://zbmath.org/1530.03030 2024-04-15T15:10:58.286558Z “克伦，阿维夫” https://zbmath.org/authors/？q=ai:keren.aviv 摘要：在有限域中，有序性和基数通常被视为同一对象（自然数）的一个方面。然而，包含在Zbl 1081.03001中的textit{M.Steiner}[in:牛津数学和逻辑哲学手册。牛津：牛津大学出版社。625--650（2005；\url{doi:10.1093/oxfordhb/9780195325928.003.0020}）提请人们注意它们之间的错综复杂的相互作用，这是由它们的这个概念所隐含的。在本章中，我提出了一个合适的认知框架，并将其用于阅读《牛津数学哲学和逻辑学手册》，了解这种情况是如何形成的。该框架涉及认知系统中对象表征的基本原则，特别是对象的“方面”何时以及如何产生、发展、，被整合成一个更深层次的组合表示。然后，我们掌握自然数的过程被描述为基于序数和基数在有限域中良好的相互作用的这种集成过程。然而，在有限域中，序数和基数之间的这种规则联系被认知系统自动地理解为一种统计模式，而不是明确地、数学地表述。因此，从哲学上讲，这个案例研究是一个警告，不要忽视认知的内在机制。其结果是对自然数的一种新颖的、有认知动机的解释。整个系列见[Zbl 1515.00013]。 https://zbmath.org/1530.03149 2024-04-15T15:10:58.286558Z “Hauser，Kai” https://zbmath.org/authors/？q=ai:hauser.kai 概述：鉴于选择公理的成果，它主要在外在基础上获得了接受。本文考察了“选择”在本质上是否合理以及在何种意义上合理。这是文章的更新版本，标题与《美国哲学》第42卷第4期第237--261页（2005；\url{https://www.jstor.org/stable/20010210})].整个系列见[Zbl 1505.03005]。 https://zbmath.org/1530.03150 2024-04-15T15:10:58.286558Z 鲁珀特·麦卡勒姆 https://zbmath.org/authors/？q=ai:mccallum.rupert 小结：我们提出了一个新的反射原理，它包含了Tait和Koellner所考虑的所有反射原理，也被认为是一致的，并且它本身相对于一个（ω）-Erd基数是一致的（因为相当于一个显著基数的存在）。整个系列见[Zbl 1505.03005]。 https://zbmath.org/1530.03151 2024-04-15T15:10:58.286558Z “陈子春” https://zbmath.org/authors/？q=ai:chen.zichun “刘鹏辉” https://zbmath.org/authors/？q=ai:liu.penghui 摘要：本文介绍了一种新的直觉模糊集相似性度量定义方法，该方法结合了相似性度量和非相似性度量，称为IF值相似性度量。为了开发这种新的IF值相似性度量，从IF剩余含义引入了IF等价的概念。提出了使用IF否定、IF t-范数和t-conorms定义IF等价的方法。然后，提出了一组公理，并通过聚合IF等价来构造一系列IF值相似性度量。最后，通过模式识别的实例验证了所提出的IF值相似性度量的有效性。 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.18013 2024-04-15T15:10:58.286558Z “塔尔，肖恩” https://zbmath.org/authors/？q=ai:tull.sean 摘要：我们在Gärdefors的概念（凸）空间框架内定义了一个对称单体范畴，用于建模模糊概念和模糊概念推理。我们提出对数压缩函数作为模糊概念的模型，表明由于Gärdefors，这些函数是满足标准的最一般的选择，并且在组成上表现良好。然后，我们将其推广，以定义凸空间之间对数压缩概率信道的类别，这允许我们用噪声输入来建模模糊推理，并提供了一个马尔可夫类别的新示例。整个系列见[Zbl 1522.68034]。 https://zbmath.org/1530.20145 2024-04-15T15:10:58.286558Z “提摩太侯爵” https://zbmath.org/authors/？q=ai:marquis.timothee “萨博，马辛” https://zbmath.org/authors/？q=ai:sabok.marcin 摘要：我们证明了对于每个有限生成的双曲群\（G\），\（G\）在其Gromov边界上的作用诱导了超有限等价关系。 https://zbmath.org/1530.22004 2024-04-15T15:10:58.286558Z “安东尼·马科斯基” https://zbmath.org/authors/？q=ai:machowski.antoni 摘要：我们证明了局部紧（sigma）-紧群的开映射定理的一个推广，其中我们用较弱的条件替换了域是（sigma-）-紧的假设。我们给出了基数（mathfrak{c}）的一个特征，并提出了推广Baire范畴定理的可能性。 https://zbmath.org/1530.54002 2024-04-15T15:10:58.286558Z “阿拉斯，Çiğdem Gündüz” https://zbmath.org/authors/？q=ai:aras.cigdem-贡杜兹 “萨迪·贝拉莫夫” https://zbmath.org/authors/？q=ai:bayramov.sadi-一个 “阿尔祖·埃尔登·科什坤” https://zbmath.org/authors/？q=ai:coskun.arzu-厄德姆 摘要：在本文中，我们引入了双极软超拓扑空间的概念，并对双极软上闭包和双极软内点的相关概念进行了表征。我们还建立了双极软超拓扑和双极软拓扑之间的连接。此外，我们提出了双极软超连续映射的概念，并研究了双极性软超紧拓扑空间的概念。证明了关于双极软超紧空间像的一个相关结果。最后，我们确定了不连通（连通）空间和强不连通（强连通）空间的概念，并导出了将它们联系在一起的几个结果。借助实例阐明了这些概念之间的关系。 https://zbmath.org/1530.81061 2024-04-15T15:10:58.286558Z “布泽纳达，A.” https://zbmath.org/authors/？q=ai:bouzenada.abdelmalek “布马利，A.” https://zbmath.org/authors/？q=ai:boumali.abdelmalek “F·塞尔杜克” https://zbmath.org/authors/？q=ai:serdouk.fadila 摘要：本研究致力于宇宙弦时空中二维克莱因-戈登振荡器的热特性和磁特性。这些性质由基于泊松近似的配分函数决定。我们给出了配分函数的解析表达式，并对系统的熵、比热、磁化率和磁化率进行了数值分析。我们关注宇宙线、外加磁场和温度对这些性质的影响。结果表明，我们的振荡器具有完全负磁化。 https://zbmath.org/1530.81145 2024-04-15T15:10:58.286558Z “噢，汤米” https://zbmath.org/authors/？q=ai:ohlsson.tommy 概述：质子衰变是粒子衰变的一种假设形式，其中假设质子衰变为较轻的粒子。这种形式的衰变尚未被发现。在这篇对《中微子2022》进展的贡献中，我们回顾了质子衰变的现状，包括实验结果和理论模型，包括它们的预测。