An ordinal analysis of ${\Pi }_N$-Collection

Abstract

In this paper we give an ordinal analysis of a set theory with ${\Pi }_N$-Collection.