Brown's lemma in second-order arithmetic
Logic
2016-03-03 v3
Abstract
We show that Brown's lemma is equivalent to Sigma02-induction over RCA0* and that the finite version of Brown's lemma is provable in RCA0 but not in RCA0*.
Cite
@article{arxiv.1512.04195,
title = {Brown's lemma in second-order arithmetic},
author = {Emanuele Frittaion},
journal= {arXiv preprint arXiv:1512.04195},
year = {2016}
}
Comments
Improved version