逻辑

2025年08月 的作者和标题

[1] arXiv:2508.00166 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于可计算枚举的闭区间 [0,1] 的同胚下的闭子集的反例 显示英文标题

标题： A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms

Volker Bosserhoff

主题： 逻辑 (math.LO)

[2] arXiv:2508.00396 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： Mal'tsev CSP的证明复杂性 显示英文标题

标题： Proof complexity of Mal'tsev CSP

Azza Gaysin

主题： 逻辑 (math.LO) ; 计算复杂性 (cs.CC)

[3] arXiv:2508.00511 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于几乎稳定关系的正则性 显示英文标题

标题： On the regularity of almost stable relations

Marcos Girón

主题： 逻辑 (math.LO)

[4] arXiv:2508.01788 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 二阶逻辑的模型论 显示英文标题

标题： Model theory of second order logic

Jouko Väänänen

主题： 逻辑 (math.LO)

[5] arXiv:2508.02244 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 一个由两个生成元生成的自由左分配嵌入代数 显示英文标题

标题： A free two-generated left distributive algebra of elementary embeddings

Andrew D. Brooke-Taylor, Scott Cramer, Sheila K. Miller Edwards

评论： 26页

主题： 逻辑 (math.LO)

[6] arXiv:2508.02303 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 斐波那契数与包含贝蒂序列的佩斯布里奇算术的模型完备公理化 显示英文标题

标题： Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence

Mohsen Khani, Ali N. Valizadeh, Afshin Zarei

主题： 逻辑 (math.LO)

[7] arXiv:2508.02517 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 可构造函数的导数是可构造的 显示英文标题

标题： The Derivative of a Constructible Function is Constructible

Tobias Kaiser

主题： 逻辑 (math.LO) ; 代数几何 (math.AG) ; 复变量 (math.CV)

[8] arXiv:2508.02867 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 奇异基数可数共尾性的后继处的可及性方法的完全失效 显示英文标题

标题： Total Failure of Approachability at Successors of Singulars of Countable Cofinality

Hannes Jakob

评论： 33页

主题： 逻辑 (math.LO)

[9] arXiv:2508.03432 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 带有算子的差-限制代数 显示英文标题

标题： Difference-restriction algebras with operators

Célia Borlido, Ganna Kudryavtseva, Brett McLean

评论： 35页

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO)

[10] arXiv:2508.03499 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 在全局亚解析设定中的德拉姆定理 显示英文标题

标题： On the de Rham theorem in the globally subanalytic setting

Annette Huber, Tobias Kaiser, Abhishek Oswal

评论： 27页。欢迎提出意见！

主题： 逻辑 (math.LO) ; 经典分析与常微分方程 (math.CA) ; 复变量 (math.CV)

[11] arXiv:2508.00004 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 不确定条件下的捉迷藏游戏推理 显示英文标题

标题： Reasoning under uncertainty in the game of Cops and Robbers

Dazhu Li, Sujata Ghosh, Fenrong Liu

主题： 计算机科学中的逻辑 (cs.LO) ; 逻辑 (math.LO)

[12] arXiv:2508.00294 (交叉列表自 math.PR) [中文pdf, pdf, html, 其他]

标题： 概率和期望效用理论中的形式幂级数表示 显示英文标题

标题： Formal Power Series Representations in Probability and Expected Utility Theory

Arthur Paul Pedersen, Samuel Allen Alexander

主题： 概率 (math.PR) ; 人工智能 (cs.AI) ; 理论经济学 (econ.TH) ; 逻辑 (math.LO) ; 统计理论 (math.ST)

[13] arXiv:2508.02828 (交叉列表自 math.PR) [中文pdf, pdf, html, 其他]

标题： 一种概率视角下的无限帽子猜测游戏 显示英文标题

标题： A probabilistic look at the infinite hat-guessing game

Nathaniel Eldredge

评论： 18页

主题： 概率 (math.PR) ; 逻辑 (math.LO)