The Axiom of Choice and the Partition Principle from Dialectica Categories

Samuel G. Da Silva. The Axiom of Choice and the Partition Principle from Dialectica Categories. Logic Journal of the IGPL, 29(5):783-797, 2021. [doi]

Abstract

Abstract is missing.