Reflections on reflections in explicit mathematics

We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the relevant systems of explicit mathematics is couched in terms of suitable extensions of KripkePlatek set theory.

• Type: Journal
• Year: 2005
• Where: APAL
• Authors: Gerhard Jäger, Thomas Strahm
• Keywords: APAL 2005, Explicit Mathematics, Reflection Principles, Universe Existence Principles