Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees

Lev Gordeev. Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees. Arch. Math. Log., 29(1):29-46, 1989. [doi]

Abstract

Abstract is missing.