逻辑

最近提交的作者和标题

• 2025年07月18日， 星期五
• 2025年07月17日， 星期四
• 2025年07月16日， 星期三
• 2025年07月15日， 星期二
• 2025年07月14日， 星期一

查看今天的 新的 变化

2025年07月18日， 星期五 (展示 6 之 6 条目 )

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

标题： 稳定过一个谓词的融合和Gaifman性质 显示英文标题

标题： Stable amalgamation over a predicate and the Gaifman property

Saharon Shelah, Alexander Usvyatsov

主题： 逻辑 (math.LO)

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

标题： 投影函数 显示英文标题

标题： Projective functions

Laurence Carassus, Massinissa Ferhoune

评论： arXiv管理员备注：与arXiv:2403.11824存在大量文本重叠

主题： 逻辑 (math.LO)

[3] arXiv:2507.13337 (交叉列表自 cs.AI) [中文pdf, pdf, 其他]

标题： 公式一：超越竞赛编程的算法推理深度测量 显示英文标题

标题： FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming

Gal Beniamini, Yuval Dor, Alon Vinnikov, Shir Granot Peled, Or Weinstein, Or Sharir, Noam Wies, Tomer Nussbaum, Ido Ben Shaul, Tomer Zekharya, Yoav Levine, Shai Shalev-Shwartz, Amnon Shashua

主题： 人工智能 (cs.AI) ; 计算复杂性 (cs.CC) ; 逻辑 (math.LO)

[4] arXiv:2507.13268 (交叉列表自 cond-mat.stat-mech) [中文pdf, pdf, 其他]

标题： 统计力学和混沌映射的王氏镶嵌问题的部分可判定协议 显示英文标题

标题： Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping

Fabrizio Canfora, Marco Cedeno

评论： 22页，24图

主题： 统计力学 (cond-mat.stat-mech) ; 信息论 (cs.IT) ; 高能物理 - 理论 (hep-th) ; 逻辑 (math.LO)

[5] arXiv:2507.13208 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 基于相似关系的高阶模式合一 显示英文标题

标题： Higher-Order Pattern Unification Modulo Similarity Relations

Besik Dundua, Temur Kutsia

评论： 23页

主题： 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO) ; 逻辑 (math.LO)

[6] arXiv:2507.13054 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 关于图的统计学习 显示英文标题

标题： On statistical learning of graphs

Vittorio Cipriani, Valentino Delle Rose, Luca San Mauro, Giovanni Solda

主题： 机器学习 (cs.LG) ; 逻辑 (math.LO)

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

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

标题： 汉夫局部性与不变初等可定义性 显示英文标题

标题： Hanf Locality and Invariant Elementary Definability

Steven Lindell, Henry Towsner, Scott Weinstein

主题： 逻辑 (math.LO)

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

标题： 实数轴上的无限指数分划关系 显示英文标题

标题： Infinite-Exponent Partition Relations on the Real Line

Lyra A. Gardiner

评论： 23页

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

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

标题： 项赋值和具有子指数的直觉线性逻辑的范畴模型 显示英文标题

标题： Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials

Daniel Rogozin

主题： 逻辑 (math.LO) ; 范畴论 (math.CT)

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

标题： 具有收敛公理的逻辑：语言中变量数量较少时的复杂性（扩展版） 显示英文标题

标题： Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)

M. Rybakov, M. Shcherbakov

评论： 提交到会议“斯米尔诺夫读书会”的摘要的扩展版

主题： 逻辑 (math.LO)

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

标题： 一种关于替代的模态方法 显示英文标题

标题： A modal approach towards substitutions

Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li

主题： 逻辑 (math.LO)

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

标题： 自同构群的零流和适度流的不动点 显示英文标题

标题： Fixed points on null and tame flows for groups of automorphisms

Alessandro Codenotti

评论： 11页

主题： 逻辑 (math.LO) ; 动力系统 (math.DS)

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

标题： 残差格层 显示英文标题

标题： Sheaf of Residuated Lattices

Saeed Rasouli

主题： 逻辑 (math.LO)

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

标题： 随机有序图是规范有序的无原子布尔代数的半收缩 显示英文标题

标题： The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra

Michael Pinsker, Jakub Rydval, Moritz Schöbi, Christoph Spiess

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

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

标题： 对算术模型复杂性的分类 显示英文标题

标题： Classifying the complexity of models of arithmetic

David Gonzalez, Mateusz Łełyk, Dino Rossegger, Patryk Szlufik

主题： 逻辑 (math.LO)

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

标题： 关于ZFC不带幂集公理与二阶PA的等价一致性的注记 显示英文标题

标题： Notes on the equiconsistency of ZFC without the Power Set axiom and 2nd order PA

Vladimir Kanovei, Vassily Lyubetsky

主题： 逻辑 (math.LO)

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

标题： 复分析和偏微分方程中的等变Borel提升 显示英文标题

标题： Equivariant Borel liftings in complex analysis and PDE

Konstantin Slutsky, Mikhail Sodin, Aron Wennman

评论： 初稿，欢迎提出意见

主题： 动力系统 (math.DS) ; 复变量 (math.CV) ; 逻辑 (math.LO)

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

标题： 自由群的有限逼近 II：Ash、Herwig-Lascar 和 Ribes-Zalesskii 定理——重新审视和加强 显示英文标题

标题： Finite approximation of free groups II: the Theorems of Ash, Herwig-Lascar and Ribes-Zalesskii -- revisited and strengthened

K. Auinger, J. Bitterlich, M. Otto

评论： 85页，10张图，对arXiv:2208.03273的后续论文

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

2025年07月16日， 星期三 (展示 2 之 2 条目 )

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

标题： 常数预测和逃避数，第一部分：推广和变体 显示英文标题

标题： Constant prediction and evasion number, I: Generalization and variants

Miguel A. Cardona, Miroslav Repický

评论： 22页

主题： 逻辑 (math.LO)

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

标题： 度量格的模型理论：伪有限划分格 显示英文标题

标题： The model theory of metric lattices: pseudofinite partition lattices

José Contreras Mantilla, Thomas Sinclair

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

主题： 组合数学 (math.CO) ; 泛函分析 (math.FA) ; 逻辑 (math.LO) ; 算子代数 (math.OA)

2025年07月15日， 星期二 (展示 6 之 6 条目 )

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

标题： 可定义坐标几何在域上的第二部分：应用 显示英文标题

标题： Definable coordinate geometries over fields, part 2: applications

Judit Madarász, Mike Stannett, Gergely Székely

评论： 23页，2图，1表

主题： 逻辑 (math.LO)

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

标题： 可定义的坐标几何在域上，第一部分：理论 显示英文标题

标题： Definable coordinate geometries over fields, part 1: theory

Judit Madarász, Mike Stannett, Gergely Székely

评论： 18页，1图

主题： 逻辑 (math.LO)

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

标题： 某些次直觉逻辑的片段 显示英文标题

标题： Fragments of Some Subintuitionistic Logics

Fatemeh Shirmohammadzadeh Maleki, Dick de Jongh

主题： 逻辑 (math.LO)

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

标题： 非正常模态逻辑的无变量片段的复杂性（扩展版） 显示英文标题

标题： Complexity of the variable-free fragments of non-normal modal logics (extended version)

A. Kudinov, M. Rybakov

评论： 提交至会议Smirnov研讨会（2025）的摘要扩展版

主题： 逻辑 (math.LO)

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

标题： 直觉主义模态逻辑的正当性逻辑（扩展技术报告） 显示英文标题

标题： Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)

Sonia Marin, Paaras Padhiar

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

[26] arXiv:2507.09324 (交叉列表自 math.RA) [中文pdf, pdf, 其他]

标题： 关系代数的网络满足问题，最多有4个原子 显示英文标题

标题： The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms

Manuel Bodirsky, Moritz Jahn, Matěj Konečný, Simon Knäuer, Paul Winkler

主题： 环与代数 (math.RA) ; 计算复杂性 (cs.CC) ; 逻辑 (math.LO)

2025年07月14日， 星期一 (展示 3 之 3 条目 )

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

标题： 一个模型论版本的塔斯基定理 显示英文标题

标题： A model-thoeretic version of Tarski's theorem

Jana Maříková

主题： 逻辑 (math.LO)

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

标题： 随机实数模型中的超滤子 显示英文标题

标题： Ultrafilters in the random real model

Alan Dow, Osvaldo Guzmán

主题： 逻辑 (math.LO)

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

标题： 真理与意义 显示英文标题

标题： Truth and meaningfulness

Nik Weaver

评论： 6页

主题： 逻辑 (math.LO)