Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis

François G. Dorais. Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis. Notre Dame Journal of Formal Logic, 55(1):25-39, 2014. [doi]

Abstract

Abstract is missing.