THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)

McCarty, C., Shapiro, S. and Klev, A.
Bulletin of Symbolic Logic, 29(1), 2023, 71-96.