| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118847 | Annals of Pure and Applied Logic | 2005 | 18 Pages |
Abstract
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 Kripke-Platek set theory.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Gerhard Jäger, Thomas Strahm,