published by Emanuele Frittaion Dr
in 2015
and research's language is
English
Download
Abstract in English
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*.