Autonomous progression and transfinite iteration of self-applicable truth

Kentaro Fujimoto. Autonomous progression and transfinite iteration of self-applicable truth. Journal of Symbolic Logic, 76(3):914-945, 2011. [doi]

Abstract

Abstract is missing.