A note on fragments of uniform reflection in second order arithmetic
Logic
2022-07-26 v1
Abstract
We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory extending and axiomatizable by a sentence, and for any , where is augmented with full induction, and denotes the schema of transfinite induction up to for formulas without set parameters.
Keywords
Cite
@article{arxiv.2207.11693,
title = {A note on fragments of uniform reflection in second order arithmetic},
author = {Emanuele Frittaion},
journal= {arXiv preprint arXiv:2207.11693},
year = {2022}
}