paperbot · PL 论文追踪

全部论文 待读 收藏

P2 The Expansion Problem for Infinite Trees

无限树的扩张问题
LMCS vol.Volume 22, Issue 12026匹配度 1/10 · 该论文属于逻辑与自动机理论，研究无限树的 Ramsey 型定理与树代数扩张问题，未涉及程序分析、LLM/Agent、浮点程序分析或贝叶斯程序分析，与研究画像几乎无交集。引用 0 inbox
Achim Blumensath
逻辑与自动机
crossref: 2026-09-10

AI 速览

一句话：研究无限树的 Ramsey 型定理等组合工具，并应用于树代数的扩张问题。

本文研究无限树上的 Ramsey 型定理以及若干类似的组合工具，并探讨这些组合结果在树代数扩张问题中的应用。论文的问题位于无限树组合学与树代数交叉处：如何获得适用于无限树的 Ramsey 型定理，并利用其处理树代数的扩张问题。方法上以组合与逻辑工具为主，通过无限树结构上的 Ramsey 型结果建立所需性质，再将其用于树代数扩张问题。摘要未给出具体定理形式、复杂度或可判定性结论，仅说明该应用是主要目标。

问题
研究无限树上的 Ramsey 型定理及相关组合工具，并解决树代数的扩张问题。
方法
采用组合与逻辑方法，建立无限树的 Ramsey 型定理，并将其应用于树代数扩张问题。
评估
属于理论工作，以树代数扩张问题作为应用场景展示所建立组合工具的作用；摘要未给出实验或定量评估。
原文摘要（Abstract）

We study Ramsey like theorems for infinite trees and similar combinatorial tools. As an application we consider the expansion problem for tree algebras.

链接与引用

DOI 原文 · arXiv · PDF（开放获取） · DBLP

BibTeX 
@article{Blumensath26a,
  title = {The Expansion Problem for Infinite Trees},
  author = {Achim Blumensath},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 22, Issue 1},
  year = {2026},
  doi = {10.46298/lmcs-22(1:20)2026}
}