Martin-Löf has a whole paper on the axiom of choice in constructive mathematics: https://pdfs.semanticscholar.org/68d6/790cdbfda26cf71311e13756d87f164838da.pdf

Martin-Löf has a whole paper on the axiom of choice in constructive mathematics: https://pdfs.semanticscholar.org/68d6/790cdbfda26cf71311e13756d87f164838da.pdf https://pdfs.semanticscholar.org/68d6/790cdbfda26cf71311e137...