Reflections on reflections in explicit mathematics
(Citations: 4)
We give a broad discussion of reflection principles in explicit math- ematics, thereby addressing various kinds of universe existence prin- ciples. The proof-theoretic strength of the relevant systems of explicit mathematics is couched in terms of suitable extensions of Kripke- Platek set theory.