Browse/search for people

Publication - Dr Kentaro Fujimoto

    Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. 

    Citation

    Fujimoto, K, 2015, ‘Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. ’. Annals of Pure & Applied Logic, vol 166., pp. 409-463

    Abstract

    Pohlers's ordinal analysis in his monograph [12] contains some flaws and thereby ends up with incorrect proof-theoretic ordinals of several systems. The present paper determines their correct proof-theoretic ordinals and also supplements [12] with the ordinal analysis of some other relevant impredicative systems.

    Full details in the University publications repository