算术等价关系的图形化

Tyler Arant

算术等价关系的图形化

逻辑 2025-05-22 v1

作者: Tyler Arant

摘要

本文研究了算术等价关系E何时可以实现为更简单定义的图G的连通性关系。建立了若干此类等价关系的示例。特别地，证明了 computable first-order language中 computable structures on $\N$ 的可计算同构关系是 $\Pi^0_2$ -图可实现的，即是可 $\Pi^0_2$ 图的连通性关系。研究了Friedman-Stanley跳跃的图形化，包括从E的图形化构造E的Friedman-Stanley跳跃的算术图形化。

关键词

算术等价关系图形化可计算同构 Friedman-Stanley 跳跃 $\Sigma^0_3$ 关系 $\Pi^0_2$ 可图可计算一阶语言

引用

@article{arxiv.2505.14920,
  title  = {Graphings of arithmetical equivalence relations},
  author = {Tyler Arant},
  journal= {arXiv preprint arXiv:2505.14920},
  year   = {2025}
}

备注

25 pages

算术等价关系的图形化

摘要

关键词

引用

备注

相关论文