Theories for admissible sets

In this Habilitationschrift we will present a unifying approch to the proof theory of theories in strength between Peano arithmetic PA and the theory kPi defined below. The central notion is that of admissible set; the central method is the systematic use of theories for (literated) admissible sets.