逻辑

最近提交的作者和标题

• 2025年08月06日， 星期三
• 2025年08月05日， 星期二
• 2025年08月04日， 星期一
• 2025年08月01日， 星期五
• 2025年07月31日， 星期四

查看今天的 新的 变化

2025年08月06日， 星期三 (展示 4 之 4 条目 )

[1] 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)

[2] 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)

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

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

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

Hannes Jakob

评论： 33页

主题： 逻辑 (math.LO)

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

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

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

Nathaniel Eldredge

评论： 18页

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

2025年08月05日， 星期二 (展示 4 之 4 条目 )

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

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

标题： The Derivative of a Constructible Function is Constructible

Tobias Kaiser

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

[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.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)

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

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

标题： Model theory of second order logic

Jouko Väänänen

主题： 逻辑 (math.LO)

2025年08月04日， 星期一 (展示 5 之 5 条目 )

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

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

标题： On the regularity of almost stable relations

Marcos Girón

主题： 逻辑 (math.LO)

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

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

标题： Proof complexity of Mal'tsev CSP

Azza Gaysin

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

[11] 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)

[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.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)

2025年08月01日， 星期五 (展示 1 之 1 条目 )

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

标题： 自同构动力学的卷积半群 显示英文标题

标题： Convolution semigroups for automorphism dynamics

Kyle Gannon, Daniel Max Hoffmann, Krzysztof Krupiński

评论： 102页

主题： 逻辑 (math.LO)

2025年07月31日， 星期四 (展示 4 之 4 条目 )

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

标题： 在科恩模型中没有处处稀疏的\textsf{P}-集的覆盖 显示英文标题

标题： No covering with nowhere dense \textsf{P}-sets in the Cohen model

Alan Dow, Osvaldo Guzmán

主题： 逻辑 (math.LO) ; 一般拓扑 (math.GN)

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

标题： 超滤子在后继基数上和Tukey序 显示英文标题

标题： Ultrafilters over Successor Cardinals and the Tukey Order

Tom Benhamou, Justin T. Moore, Luke Serafin

主题： 逻辑 (math.LO)

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

标题： 代数有界结构上的通用推导 II 模型理论性质 显示英文标题

标题： Generic derivations on algebraically bounded structures II Model theoretical properties

Fornasiero Antongiulio, Terzo Giuseppina

主题： 逻辑 (math.LO)

[18] arXiv:2507.22276 (交叉列表自 math.CO) [中文pdf, pdf, html, 其他]

标题： 一个捕获时间最大的 cops-win 图$ω$ 显示英文标题

标题： A Cop-Win Graph with Maximum Capture Time $ω$

Tomáš Flídr, Maria-Romina Ivan

评论： 6页，1图

主题： 组合数学 (math.CO) ; 逻辑 (math.LO)