Browns lemma in second-order arithmetic


الملخص بالإنكليزية

We show that Browns lemma is equivalent to Sigma02-induction over RCA0* and that the finite version of Browns lemma is provable in RCA0 but not in RCA0*.

تحميل البحث