Intuitionistic Fixed Point Theories for Strictly Positive Operators

In this paper it is shown that the intuitionistic .xed point theory (strict) for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and sentences over the theory for α times iterated arithmetic comprehension without set parameters.This generalizes results previously due to Buchholz [5] and Arai [2].