算术模型的自嵌入的不动点
逻辑
2018-01-24 v3
摘要
我们研究了算术模型的自嵌入的不动点集的结构。特别地，给定一个可数非标准模型 M（其为皮亚诺算术一小片段的模型），我们给出了以下两者的完整刻画：(a) M 的那些可实现为 M 到自身真初始段的非平凡自嵌入的不动点的最长初始段的初始段；以及 (b) M 的那些可实现为某个 M 到自身真初始段的非平凡自嵌入的不动点集的初始段。此外，我们证明了标准切割在 M 中是强的，当且仅当存在一个 M 到自身真初始段的自嵌入，它移动 M 中每一个不能由存在公式定义的元素。
引用
@article{arxiv.1703.02588,
title = {Fixed Points of Self-embeddings of Models of Arithmetic},
author = {Saeideh Bahrami and Ali Enayat},
journal= {arXiv preprint arXiv:1703.02588},
year = {2018}
}
备注
36 page; this is a revised draft in which misprints of the previous draft are corrected