Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > math > arXiv:2507.12450v1

帮助 | 高级搜索

数学 > 逻辑

arXiv:2507.12450v1 (math)
[提交于 2025年7月16日 ]

标题: 汉夫局部性与不变初等可定义性

标题: Hanf Locality and Invariant Elementary Definability

Authors:Steven Lindell, Henry Towsner, Scott Weinstein
摘要: 我们引入了一些不变初等可定义性的概念,这些概念扩展了的一阶顺序不变可定义性的概念,以及更一般地,相对于任意数值关系的不变可定义性。 特别是,我们研究了相对于不仅依赖于结构的论域的顺序,还依赖于确定结构的特定关系的扩张的不变性;我们将这样的扩张称为结构的\emph{演示文稿}。 我们在这种情况下建立了两个局部性结果。 第一个是将原始的Hanf局部性定理扩展到关于局部有限结构类在\emph{基本的,邻域有界的}表示下不变可定义的布尔查询。 第二个是针对在初等、邻域有界、\emph{本地}表示下不变可定义的有界度结构类的布尔查询的Fagin-Stockmeyer-Vardi Hanf阈值局部性定理的一个非统一版本。
摘要: We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant with respect to arbitrary numerical relations. In particular, we study invariance with respect to expansions which depend not only on (an ordering of) the universe of a structure, but also on the particular relations which determine the structure; we call such expansions \emph{presentations} of a structure. We establish two locality results in this context. The first is an extension of the original Hanf Locality Theorem to boolean queries which are invariantly definable over classes of locally finite structures with respect to \emph{elementary, neighborhood-bounded} presentations. The second is a non-uniform version of the Fagin-Stockmeyer-Vardi Hanf Threshold Locality Theorem to boolean queries which are invariantly definable over classes of bounded degree structures with respect to elementary, neighborhood-bounded, \emph{local} presentations.
主题: 逻辑 (math.LO)
引用方式: arXiv:2507.12450 [math.LO]
  (或者 arXiv:2507.12450v1 [math.LO] 对于此版本)
  https://doi.org/10.48550/arXiv.2507.12450
通过 DataCite 发表的 arXiv DOI(待注册)

提交历史

来自: Henry Towsner [查看电子邮件]
[v1] 星期三, 2025 年 7 月 16 日 17:45:40 UTC (17 KB)
全文链接:

获取论文:

    查看标题为《》的 PDF
  • 查看中文 PDF
  • 查看 PDF
  • HTML(实验性)
  • TeX 源代码
  • 其他格式
许可图标 查看许可
当前浏览上下文:
math.LO
< 上一篇   |   下一篇 >
新的 | 最近的 | 2025-07
切换浏览方式为:
math

参考文献与引用

  • NASA ADS
  • 谷歌学术搜索
  • 语义学者
a 导出 BibTeX 引用 加载中...

BibTeX 格式的引用

×
数据由提供:

收藏

BibSonomy logo Reddit logo

文献和引用工具

文献资源探索 (什么是资源探索?)
连接的论文 (什么是连接的论文?)
Litmaps (什么是 Litmaps?)
scite 智能引用 (什么是智能引用?)

与本文相关的代码,数据和媒体

alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)

演示

复制 (什么是复制?)
Hugging Face Spaces (什么是 Spaces?)
TXYZ.AI (什么是 TXYZ.AI?)

推荐器和搜索工具

影响之花 (什么是影响之花?)
核心推荐器 (什么是核心?)
IArxiv 推荐器 (什么是 IArxiv?)
  • 作者
  • 地点
  • 机构
  • 主题

arXivLabs:与社区合作伙伴的实验项目

arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。

与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。

有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.

这篇论文的哪些作者是支持者? | 禁用 MathJax (什么是 MathJax?)
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号