Grzegorczyk序列
逻辑
2018-11-27 v1
摘要
自然数由Grzegorczyk函数表示。该表示隐含于H. Friedman的技术中。表示中带减1的迭代基移位产生一个序列，即Grzegorczyk序列。我们证明该序列的终止独立于一阶算术PA。在独立性证明中我们遵循M. Rathjen的工作。
引用
@article{arxiv.1811.09958,
title = {Grzegorczyk sequence},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1811.09958},
year = {2018}
}