关于 B"uchi 算术的非标准模型

Alexander Zapryagaev

关于 B"uchi 算术的非标准模型

逻辑 2023-12-22 v1

作者: Alexander Zapryagaev

摘要

B"uchi 算术 $\mathop{\mathbf{BA}}\nolimits_n$ （ $n\ge 2$ ）是 Presburger 算术的扩展，增加了一个一元函数符号 $V_n(x)$ ，表示整除 $x$ 的 $n$ 的最大幂次。我们探讨了 B"uchi 算术非标准模型的结构，并构造了一个 $\mathop{\mathbf{BA}}\nolimits_2$ 的可数非标准模型示例。

关键词

B"uchi 算术 Presburger 算术非标准模型一元函数符号整除性模型论

引用

@article{arxiv.2312.13757,
  title  = {On Non-Standard Models of B\"uchi Arithmetics},
  author = {Alexander Zapryagaev},
  journal= {arXiv preprint arXiv:2312.13757},
  year   = {2023}
}

备注

7 pages. Work of Alexander Zapryagaev is supported by the Russian Science Foundation under grant 21-11-00318

关于 B"uchi 算术的非标准模型

摘要

关键词

引用

备注

相关论文