二阶算术中的布朗引理
逻辑
2016-03-03 v3
摘要
我们证明布朗引理(Brown's lemma)在RCA0*上等价于Sigma02-归纳，并且布朗引理的有限版本在RCA0中可证但在RCA0*中不可证。
关键词
引用
@article{arxiv.1512.04195,
title = {Brown's lemma in second-order arithmetic},
author = {Emanuele Frittaion},
journal= {arXiv preprint arXiv:1512.04195},
year = {2016}
}
备注
Improved version