Comparable binary relations and the amalgamation property
当第一个关系比第二个关系粗糙，并且每个关系满足从以下列表中选择的一组性质：传递性，自反性，对称性，反自反性和反对称性时，两个二元关系的理论具有强融合性质。当我们添加保持所有关系的一元运算族时，保持合并属性。作为结果，我们得到了有限结构类的Fra 'ıssé极限的存在性.对于一般的可比性条件，当考虑到三个或更多的二元关系时，或者当我们添加一个仅保留一个关系的操作时，结果失败。
2023-01-29 math.LO
Polyadic-like algebras without the amalgamation property
通常，当我们有多基数类代数时，意味着我们在相似类型中有无限替换（即移动无限多个点的替换），那么我们得到超合并性质，特别是当这类代数碰巧是一个簇时。例如，这种情况发生在（全）多进代数，全海廷代数和那些只使用1000个无穷替换的约简，如Sains Boolean和Heyting代数。(The最后由Sayed Ahmed研究）。在类圆柱代数（如拟多进代数）中，当我们没有无穷替换时，我们甚至得不到合并性质。在本文中，我们给出了一个例子，一个polyadic类品种（我们有无限的替代品，事实上是无穷多个）的合并财产失败。
2013-04-04 math.LO
A remark about amalgamation of union of theories
给出了两个一阶理论的并具有合并性质的条件。
2022-03-19 math.LO
Linearly ordered sets with only one operator have the amalgamation property
具有一个保序一元运算的线性序集类具有强合并性质。具有一个严格保序一元运算的线性序集类有AP但没有SAP。具有两个保序一元运算的线性序集类不具有AP.对于每个集合$F$，具有$F$ -指标自同构族的线性序集类具有SAP。相应的结果证明的情况下，反序操作。上述类别的各种子类被认为是一些模型理论的后果。
2021-07-03 math.LO
Stable amalgamation over a predicate and the Gaifman property
本文研究带一元谓词P的一阶理论的Gaifman性质，提出并部分证明其推广猜想：P上的稳定性蕴含Gaifman性质，且更强的稳定性蕴含更高的稳定融合性质。
2025-07-16 math.LO
The Amalgamation Property for automorphisms of ordered abelian groups
University of Manchester（曼彻斯特大学）；Instytut Matematyczny Uniwersystet Wrocławski（弗罗茨瓦夫大学数学研究所）；Università di Pisa（比萨大学）
证明带有自同构的有序阿贝尔群范畴具有合并性质，推出其归纳理论在正逻辑意义下是NIP的，并初步发展了正逻辑框架。
2026-06-29 math.AC math.LO
Varieties defined by linear equations have the amalgamation property
本文证明由线性方程公理化的代数簇具有强融合性质，并在特定语言和变量条件下满足联合嵌入性质，涵盖经典 Maltsev 条件簇及部分含一元运算的扩展情形。
2021-05-29 math.LO math.RA
Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
本文研究Almost Gautama代数簇的子簇中的融合性质，证明八个非平凡子簇中仅四个具有融合性质，并探讨了相关性质的应用。
2024-09-19 math.LO
The strong amalgamation property into union
我们考虑的情况下，其中一些类的结构具有强合并属性（SAP）与进一步的要求，合并结构可以接管集合理论工会（图像）的结构域合并。我们称之为SAPU。SAPU相对于SAP的主要优点是，有许多保持定理表明，我们可以用SAPU合并不同的理论，仍然可以用SAPU得到一个理论，因此可以用SAP。特别是，我们得到SAPU的各种理论与许多二元关系，每一个关系满足任何一组属性中选择的传递性，自反性，对称性，反自反性，反对称。我们也可以添加一元运算，可能满足某些粗糙性、保序性和闭包条件。SAPU并不局限于关系理论：在泛代数中定义最常见的Maltsev条件的变种都有SAPU。其他的例子包括有界的直向胚，序代数和各种推广。
2023-01-29 math.LO
Generic groups and the weak amalgamation property
本文研究了可数群的逻辑空间，探讨了某些标准群类的闭子空间是否具有通用群，并讨论了半群和结合环的情况。
2025-12-01 math.GR math.LO
Coherent extension of partial automorphisms, free amalgamation, and automorphism groups
我们给出了有限结构的部分自同构的Herwig-Lascar和Hodkinson-Otto扩张定理的加强版本。这样的强化产生了几个组合和群论的同质结构的后果。例如，我们建立了一个连贯的形式的部分自同构某些Fraisse类的扩展属性。我们从这些结果推断，等距群的理性Urysohn空间，自同构群的Fraisse极限的任何Fraisse类，是类的所有$\mathcal{F}$ -自由结构（在Herwig-Lascar意义），和自同构群的任何自由齐次结构的有限关系语言，都包含一个密集的局部有限子群。我们还表明，任何自由齐次结构承认充足的泛型。
2019-04-16 math.LO
On special partial types and weak canonical bases in simple theories
我们定义了一个偏序类型的弱规范基的概念。这个概念比通常的合并基的规范基弱。证明了某些偏型族具有弱标准基。这个家族显然包含了合并基地的类别。
2013-11-13 math.LO
A hyperamalgamation property
University of Rome Tor Vergata（罗马托尔维加塔大学）
提出超融合性质，证明格、半格、布尔代数和对偶海廷代数具有该性质，并应用于带算子的代数结构融合性。
2026-06-08 math.LO
Arhangel'ski\uı sheaf amalgamations in topological groups
研究了拓扑群和拓扑向量空间中收敛序列的合并性质。本文的主要结果是：对任意拓扑群，Nyikos的性质$α_{1.5}$等价于Arhangel'ski \u的形式上更强的性质$α_1$ .这个结果解决了Shakhmatov（2002）的一个问题，并且它的证明使用了一个新的扰动参数。证明了存在一个拓扑空间$X$，使得$X$上的连续实值函数空间$C_p(X)$具有点式收敛拓扑，具有Arhangel'ski \u性质$α_1$，但不是可数紧的.这个结果是由Arhangel'ski \u-Pytkeev，Moore和Todorčević的结果得到的，并且为Averbukh和Sznanov（1968）关于拓扑向量空间的一个问题提供了一个新的解，具有显著的性质。Averbukh-Schlanov问题首先由Plichko（2009）使用具有较弱局部凸拓扑的Banach空间解决。
2016-01-11 math.GN math.LO
The amalgamation property and Urysohn structures in continuous logic
Nankai University（南开大学）
本文研究了连续逻辑中 amalgamation 性质与 Urysohn 结构的关系，证明了相关类别的 Fraïssé 性质和 EPPA，以及自同构群的 universal 性质。
2023-02-12 math.LO
Higher amalgamation properties in measured structures
本研究借助Towsner的无穷版超图移除引理，证明了测度结构中的高阶模型论合并性质，明确该性质在MS-可测结构中成立却不普遍适用于有限SU-秩超单纯结构，并据此判定部分Hrushovski的超单纯ω-范畴结构非MS-可测。
2022-07-14 math.LO
Symmetry in abstract elementary classes with amalgamation
本文是Saharon Shelah发起的一个计划的一部分，该计划将一阶逻辑的模型论扩展到抽象初等类（AEC）的非初等设置。抽象初等类是完备一阶理论的模型类在初等子结构关系下的语义推广。我们研究了AEC中分裂（之前由第一作者隔离）的对称性，并满足超稳定性的局部定义。关键的结果是对称性的向下转移和对称性的顺序属性的失败的演绎。然后利用这些结果证明了范畴AEC的若干结构性质，改进了Shelah关于后继基数范畴性的经典结果.我们还研究了相互作用的对称性与驯服，局部性质的伽罗瓦（轨道）类型。我们表明，超稳定性和驯服一起意味着对称性。这使Boney和第二作者以前的工作更加尖锐。
2017-03-01 math.LO
Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
Artificial Intelligence Research Institute (IIIA), CSIC（人工智能研究所（IIIA），西班牙高等科学研究委员会）
本文提出块状粘合构造，证明了若干变种缺乏合并性质，并展示了其在逻辑理论中的影响。
2025-12-19 math.LO
Amalgamation in Semilinear Residuated Lattices
本文综述了半线性剩余格簇中融合性质的研究现状，重点讨论幂等簇、纽结簇、可消去簇及相关代数结构，并证明交换半线性剩余格簇不具有融合性质，同时解决了若干遗留未决问题。
2024-07-31 math.LO math.RA
Automorphisms of valued fields: amalgamation and existential closedness
Xiamen University Malaysia（厦门大学马来西亚分校）；Instytut Matematyczny, Uniwersystet Wrocławski（弗罗茨瓦夫大学数学研究所）；Dipartimento di Matematica, Università di Pisa（比萨大学数学系）
本文研究了赋值域的自同构性质，证明了在特定条件下同构问题的可解性及存在闭对象的刻画，并探讨了相关理论的逻辑性质。
2025-12-17 math.LO
Transfer theorems for finitely subdirectly irreducible algebras
本文研究拟簇中代数性质在相对有限次直不可约成员与整个拟簇之间的迁移，建立同余扩张、合并、强合并及可迁移单射等性质的等价条件，并给出可判定性与 BL-代数案例。
2023-06-04 math.LO
Interpolation and the Exchange Rule
Institute of Computer Science Czech Academy of Sciences（捷克科学院计算机科学研究所）；Mathematical Institute University of Bern（伯尔尼大学数学研究所）
研究交换规则在确定Heyting代数变种与逻辑公理扩展的演绎插值性质中的作用，发现非交换和交换变种的数量分别为连续多个和恰好六十个。
2023-10-23 cs.LO math.LO math.RA
Semilinear idempotent distributive l-monoids
Mathematical Institute, University of Bern（伯尔尼大学数学研究所）
本文研究了半线性幂等分配l-单形的表示定理、子变种格的结构以及同构性质，证明了部分变种具有强同构性质。
2023-12-12 math.LO math.RA
Hereditarily Hurewicz spaces and Arhangel'skii sheaf amalgamations
Hurewicz的一个经典定理将具有Hurewicz覆盖性质的空间刻画为在Baire空间中具有有界连续像的空间。对于遗传地具有Hurewicz性质的空间X，我们给出了类似的刻画。我们接着考虑一类Arhangel'skii α_1空间，对于这类空间，在一点上的每一层都可以自然地合并。设C_p（X）表示X上具有点态收敛点式收敛拓扑的连续实值函数空间。我们的主要结果是C_p（X）是α_1空间当且仅当X在Baire空间中的每个Borel象是有界的。利用这个特征，我们解决了各种各样的问题，在文献中提出的空间的连续函数。
2012-01-03 math.FA math.GN math.LO
Turbulence, amalgamation and generic automorphisms of homogeneous structures
研究了波兰群中共轭类的拓扑性质，重点研究了齐次可数结构的自同构群。我们首先考虑稠密共轭类的存在性（拓扑Rokhlin性质）。然后，我们刻画当一个自同构群承认一个comeager共轭类（回答一个问题的桁架），并应用这表明，同胚群的康托空间有一个comeager共轭类（回答一个问题的阿金-赫尔利-肯尼迪）。最后，我们研究波兰组承认comeager共轭类在任何方面（在这种情况下，该集团被称为承认充足的泛型）。我们证明了具有充足泛数的波兰群具有小指数性质（推广了Hodges-Hodkinson-Lascar-Shelah的结果），并且从这样的群到可分群的任意同态是自动连续的.此外，在寡纯置换群的情况下，它们具有不可数共尾性和Bergman性质。这些结果特别适用于自同构群的许多$ω$ -稳定，$\aleph_0$ -分类结构和随机图。在这方面，我们还证明了无限对称群$S_\infty$具有唯一的非平凡可分群拓扑。对于几个有趣的群，我们还建立了Serre的性质（FH）和（FA）。
2006-04-26 math.DS math.LO
Preservation of superamalgamation by expansions
University of Rome Tor Vergata（罗马托尔维加塔大学）
该研究从纯模型论视角探究超融合性，证明在完备性假设下有序结构类的超融合性可推出添加多种运算类的强融合性，并给出相关代数结构的强融合性、模型完备化及可判定性结论。
2023-06-10 math.LO
An axiomatic approach to free amalgamation
本文公理化定义自由合并理论，证明其超虚元素消去、弱虚元素消去及简单性与 NTP2、NSOP3 等性质的关系，并刻画 Fraïssé 极限的简单性。
2023-11-02 math.LO
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
本文研究半锥幂等逻辑 sCI 的扩张，通过分析其代数语义半锥幂等剩余格的共合与满同态性质，证明刚性合取类的强共合性，进而为多类 sCI 扩张建立投射 Beth 可定义性与演绎插值性质。
2023-07-20 cs.LO math.LO math.RA
Interpolation in Hájek's Basic Logic
本文通过穷尽分类具有合并性质的 BL-代数簇与 basic hoop 簇，解决 Montagna 公开问题，并完整刻画 BL 及其无否定片段中具备演绎插值性质的公理化扩张。
2024-10-29 math.LO math.RA
The superamalgamation property for reducts of Heyting polyadic algebras with and without equality
我们证明了无限维Heyting多进代数的几个约简，有和没有平等享有各种合并性质。在无等式的情况下，我们得到超合并，但当我们有等式时，我们得到一个较弱的插值性质，相应的无限直觉主义逻辑与等式。
2013-04-02 math.LO
Structure theorems for idempotent residuated lattices
本文研究了幂等元为幺半群的剩余格的结构性质。我们提供的描述，这一类的全序成员，并获得计数定理的数量有限代数在各种子类。我们还建立了由剩余格类生成的某些变体的有限可嵌入性，这些变体是保守的，因为幺半群乘法总是产生其参数之一。然后，我们利用全序交换幂等剩余格的Raftery的特征定理的一个更对称的版本，证明了这个类所产生的品种具有合并属性。最后，我们解决了一个公开的问题，在文献中给出了一个例子的非交换品种的幂等剩余格的合并财产。
2020-04-20 math.LO
Products of Classes of Finite Structures
本文研究有限结构类乘积下不可分性等性质的保持问题，探讨其与字典序乘积、全乘积和自由叠加的相互作用，并证明在温和假设下这些乘积不会产生新的理论类。
2023-09-13 math.LO
Ramsey properties and extending partial automorphisms for classes of finite structures
我们表明，每一个自由融合类的关系和（对称）部分功能的有限结构是一个拉姆齐类时，丰富的自由线性排序的顶点。这是Nešetzil-Rödl定理和第二和第三作者的有限模型（即具有关系和功能的结构）的拉姆齐定理的共同加强。我们还发现了具有排序属性的子类。对于具有关系符号和一元函数的语言，我们还证明了自由合并类的部分自同构（EPPA）的扩展性质。这些一般结果解决了几个问题，并提供了一个简单的Ramseyness测试的许多类别的结构。
2020-03-29 cs.DM math.CO math.GR
Some definable types that cannot be amalgamated
本文构造了一个理论，证明其中的可定义类型不具备合并性质，从而回答了模型论中关于类型合并的一个问题。
2022-07-20 math.LO
Excellent Abstract Elementary Classes are tame
AEC是驯服的假设是一个强有力的假设，允许发展稳定性理论的AEC与合并财产。最近发现了几个向上范畴性定理，其中驯服取代了强大的集合论假设。在这篇文章中，我们提出了两个充分条件驯服，都在自然界中发生的强融合性质的形式。其中一个最近被用来证明几个Hrushovski类是驯服的。这是通过引入弱$(μ,n)$ -唯一性的属性来完成的，该属性对所有AEC都有意义（与Shelah的原始属性不同），并从弱$(\LS(\K),n)$ -唯一性、$(\LS(\K),n)$ -对称性和$(\LS(\K),n)$ -存在性对所有$n<ω$都成立的假设中导出。这三个性质的结合我们称之为\emph{excellence}，与\cite{Sh 87b}不同，我们不需要非常强的$(\LS(\K),n)$ -唯一性，也不假设$\K$的成员是可数一阶理论的原子模型。我们也在一个比希拉的好框架更普遍的背景下工作。
2005-09-14 math.LO
$\leq_{SP}$ Can Have Infinitely Many Classes
本文基于 Keisler 序为简单理论定义了 $\leq k$-型融合性质，利用随机无团超图理论证明了 $\leq_{SP}$ 可相容地具有无穷多个等价类，并简化了关于最大 $\leq_{SP}$-等价类的 Shelah 定理的证明。
2024-09-20 math.LO
Fischer-Servi logic does not have interpolation
Institute for Logic, Language and Computation, Universiteit van Amsterdam（逻辑、语言与计算研究所，阿姆斯特丹大学）；Department of Mathematics, Université du Luxembourg（数学系，卢森堡大学）
本文证明Fischer-Servi逻辑IK不具有插值性，通过展示对应的模态Heyting代数缺乏 amalgamation 属性，并将此结果推广到IK4、IS4和IGL等扩展逻辑。
2026-04-09 math.LO
Structured sunflowers and canonical Ramsey properties
Institute of Computer Science, Czech Academy of Sciences（捷克科学院计算机研究所）
本文研究了结构化的向日葵性质及其与规范Ramsey性质的关系，证明了无限向日葵性质等价于规范无限点Ramsey性质，并展示了多个类具有有限向日葵性质。
2026-03-09 math.CO math.LO
The rational Gurarii space and its linear isometry group
研究显示有限维多面体空间和有理有限维多面体空间的偏等距类不具有弱 amalgamation性质，从而推得有理Gurarii空间的线性等距群无来摩conjucate类。方法还表明有限维多面体空间和有限维有理多面体空间不具有Hrushovski性质。
2025-12-02 math.FA math.LO
A Partial Order Where All Monotone Maps Are Definable
存在一个大小为aleph_1的偏序（P，<）使得从P到P的每个单调（一元）函数在（P，<）中是一阶可定义的，这是相容的。在Cohen强迫的有限支撑迭代得到的扩张中构造了偏序。其要点是：（1）从P到P的所有单调函数（本质上）都有可数值域（这使用了Delta系统参数）;（2）P的所有可数子集都是一阶可定义的，所以我们必须将这些可数集编码到偏序中。有限结构的融合起着至关重要的作用。
1997-07-16 math.LO
Hanf number of the first stability cardinal in AECs
我们证明了$\beth_{(2^{\operatorname{LS}({\bf K})})^+}$是Hanf数的序性质长度和稳定抽象初等类（AEC）的稳定性的下界。我们的例子满足联合嵌入性质，没有最大模型，$(<\aleph_0)$ -驯服，但不一定是融合性质。我们还定义的顺序和语法顺序属性的变化，允许索引集是线性有序的，而不是有序的。结合Shelah的稳定性定理，我们证明了我们的例子可以具有任意$μ<\beth_{(2^{\operatorname{LS}({\bf K})})^+}$的阶性质. Boney证明了两个类型计数引理需要联合嵌入性质是必要的。我们解决了这个猜想，证明它是独立的ZFC。使用伽罗瓦Morleyization，我们给语法证明已知的稳定性结果假设一个怪物模型。
2021-10-08 math.LO
Bounded distributive lattices with strict implication and weak difference
本文引入 WHB-代数，建立其关系型类 Priestley 对偶性，并借助时态扩张证明该簇的有限模型、合并、同余扩张及 Maehara 插值等性质。
2023-12-18 math.CT math.LO
Shelah's eventual categoricity conjecture in universal classes. Part II
我们证明了一个泛类在一个足够高的基数是绝对的基数的尾巴。与文献中的其他结果相反，我们在ZFC中工作，不要求范畴基数是后继者，不假设合并，也不使用大基数。此外，我们给出了一个明确的界限上的“足够高”的阈值：$\mathbf{Theorem}$设$ψ$是一个普遍的$\mathbb{L}_{ω_1, ω}$句子。如果$ψ$在某些$λ\ge \beth_{\beth_{ω_1}}$中是分类的，则$ψ$在所有$λ' \ge \beth_{\beth_{ω_1}}$中都是分类的。作为一个副产品的证明，我们表明，Grossberg猜想持有普遍类：$\mathbf{Corollary}$让$ψ$是一个普遍的$\mathbb{L}_{ω_1, ω}$句子，是明确的一些$λ\ge \beth_{\beth_{ω_1}}$，然后类的模型的$ψ$有合并属性的模型的大小至少$\beth_{\beth_{ω_1}}$。我们还建立了这两个结果的不可数语言的推广。作为论证的一部分，我们开发了一种机器，可以在满足兼容性条件的两个不同类之间转移模型理论属性。这是用来作为一个桥梁之间的希拉的里程碑式的研究普遍类（我们广泛使用）和一个明确的转移定理的作者抽象的基本类，合并，驯服，并有素数的形式$M \cup \{a\}$。
2016-10-26 math.LO
ASNP: a tame fragment of existential second-order logic
融合SNP（ASNP）是存在二阶逻辑的一个片段，严格包含Feder和Vardi的二元连通MMSNP和Bienvenu，ten Cate，Lutz和Wolter的二元保护单调SNP;它是表现出复杂性二分法的NP表达子类的一个有希望的候选者。我们表明，ASNP有一个复杂性二分法当且仅当无限域二分法猜想成立的约束满足问题的一阶约简的二元有界齐次结构。对于这样的CSP，强大的通用代数硬度条件是已知的，被证明是描述NP难和多项式时间听话的CSP之间的边界。与CSP的连接也意味着每个ASNP语句都可以在多项式时间内在有界树宽的有限结构类上求值。我们证明了ASNP的语法是可判定的。证明依赖于这样一个事实，即对于由许多禁止子结构给出的有限二元结构类，合并性质是可判定的。
2020-01-28 cs.CC cs.LO math.LO
Abstract classes with few models have `homogeneous-universal' models
本文讨论了一类模型K和一个抽象的子模型<=的概念。一阶模型论的经验表明，需要找到一个“怪物模型”作为K的通用域。在Jonsson和Fraisse最初的构造中，K是一个泛类，普通子结构起<=的作用。使用满足lambda^{< lambda}= lambda的基数lambda，保证了适当的向下洛温海姆-斯科伦定理;齐次万有模型的存在性和唯一性似乎主要取决于合并性质。我们使这种明显的依赖性在本文中更精确。本文的主要创新之处在于引入了一个较弱的概念来代替（K，<=）-齐次-万有模型的自然概念。模ZFC的弱扩展（可证明的，如果V=L），我们表明，一类K服从一定的最小限制满足一个基本二分法：对于任意大的lambda，要么K有最大数量的模型的功率lambda或K有一个唯一的链齐次万有模型的功率lambda。我们表明，在一个类与合并，这种二分法的概念，K-齐次万有模型在更正常的意义上。
1995-02-15 math.LO
Ramsey Classes: Examples and Constructions
这篇文章关注的是一类关系结构，这些关系结构在取子结构和同构下是封闭的，具有联合嵌入性质，并且还具有Ramsey性质，这是一种强组合性质，类似于Ramsey经典定理的陈述。这类结构被称为拉姆齐类。奈西曲和Roedl证明了它们具有合并性质，因此每个这样的类都有齐次的Fraise极限。拉姆齐类最近引起了人们的注意，由于一个令人惊讶的联系与极端顺从的概念，从拓扑动力学。Ramsey类的其他应用包括同质结构的约简分类。我们给出了一个调查的各种基本拉姆齐类和他们的（往往是棘手的）组合证明，以及各种方法来获得新的拉姆齐类从已知的拉姆齐类。最后，我们国家开放的问题有关潜在的分类拉姆齐类。
2015-05-27 math.CO math.LO
An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example
Baylor University（贝勒大学）
本文构造了一个无 torsion 自由交换群的类，展示了一个不稳定的抽象初等类，具有有限的 LS 值，但不满足 amalgamation 属性。
2026-04-19 math.GR math.LO
Structural Ramsey Theory and the Extension Property for Partial Automorphisms
本文综述了有限结构类的两个性质：Ramsey性质和部分自同构的扩张性质（EPPA）。
2020-10-10 cs.DM math.CO math.GR
Partial orderings with the weak Freese-Nation property
称一个偏序P具有弱自由国性质（WFN），如果存在映射f：P -> [P]^{<= aleph_0}使得对P中的任意a，b，如果a <= b，则存在c在f（a）cap f（b）中使得a <= c <= b.本文研究了WFN及其推广。具有WFN的BA类的一些特征似乎对集合论的附加公理非常敏感：例如，在CH下，每个ccc cBA都具有此属性，而在b >= aleph_2下，WFN不存在cBA。
1995-08-15 math.LO
A combinatorial proof of the extension property for partial isometries
本研究针对有限度量空间类的部分等距延拓性质，给出了一个简短自包含的组合证明，为该性质提供了新的简洁推导思路。
2018-08-28 cs.DM math.CO math.LO
A note on the connectedness property of union-free generic sets of partial orders
Ludwig-Maximilians-Universität Munich（慕尼黑路德维希-马克西米利安大学）
本文证明偏序无并泛集的连通性性质，利用形式概念分析中的闭包算子给出简洁证明，补充了先前工作的细节。
2023-12-21 cs.AI cs.LG math.LO
Extension property for partial automorphisms of the $n$-partite and semigeneric tournaments
本文证明有限 $n$-部竞赛图（$n$ 从2到$\omega$）与有限半通用竞赛图均满足EPPA，并证明相应的通用结构具有充足泛型。
2025-09-30 cs.DM math.CO math.LO
