Notes on local reflection principles

Abstract

We study the hierarchy of reflection principles obtained by restricting the full local re ection schema to the classes of the arithmetical hierarchy. Optimal conservation results w.r.t. the arithmetical complexity for such principles are obtained.