An ordinal analysis of ${\hat{I}}_N$-Collection

Toshiyasu Arai

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