逻辑

最近提交的作者和标题

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

查看今天的 新的 变化

2025年08月05日， 星期二 (继续， 展示 最后 4 之 2 条目 )

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

[10] 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 条目 )

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

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

标题： On the regularity of almost stable relations

Marcos Girón

主题： 逻辑 (math.LO)

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

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

标题： Proof complexity of Mal'tsev CSP

Azza Gaysin

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

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

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

[15] 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 条目 )

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

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

标题： Convolution semigroups for automorphism dynamics

Kyle Gannon, Daniel Max Hoffmann, Krzysztof Krupiński

评论： 102页

主题： 逻辑 (math.LO)