关于指数整数部分的理论
逻辑
2025-10-07 v3 计算机科学中的逻辑
摘要
我们在带有2^x的语言、带有2的幂谓词的语言以及有序环的基本语言中，对实闭指数域的指数整数部分的一阶理论进行了公理化。特别地，最后一个理论通过表达在整数上的某个游戏中获胜策略存在的句子扩展了IOpen；我们证明它是IOpen的真扩展，并给出了赢得游戏所需轮数的上下界。
引用
@article{arxiv.2404.06888,
title = {On the theory of exponential integer parts},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:2404.06888},
year = {2025}
}
备注
28 pages; accepted to Zeitschrift f\"ur Mathematische Logik und Grundlagen der Mathematik