正规函数的单一不动点有多强?
逻辑
2021-07-07 v2
摘要
在M. Rathjen与本文作者最近的一篇论文中已表明,命题“每个正规函数都有导数”等价于-杆归纳。该等价在之上、针对以扩张子(dilators)对正规函数的适当表示而被证明。在本文中我们表明,命题“每个正规函数至少有一个不动点”等价于沿自然数的-归纳。
引用
@article{arxiv.1906.00645,
title = {How strong are single fixed points of normal functions?},
author = {Anton Freund},
journal= {arXiv preprint arXiv:1906.00645},
year = {2021}
}