Dependent choice as a termination principle

Thomas Powell 0001. Dependent choice as a termination principle. Arch. Math. Log., 59(3):503-516, 2020. [doi]

Abstract

Abstract is missing.