Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees L. Gordeev OriginalPaper Pages: 29 - 46