Browse/search for people

Publication - Dr Kentaro Fujimoto

    Autonomous progression and transfinite iteration of self-applicable truth

    Citation

    Fujimoto, K, 2011, ‘Autonomous progression and transfinite iteration of self-applicable truth’. Journal of Symbolic Logic, vol 76., pp. 914-945

    Abstract

    This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.

    Full details in the University publications repository