Local reflection, definable elements and 1-provability

Evgeny Kolmakov

In this note we study several topics related to the schema of local reflection $\mathsf{Rfn}(T)$ and its partial and relativized variants. Firstly, we introduce the principle of un…