Hacker News new | ask | show | jobs
by intuitionist 2537 days ago
Martin-Löf has a whole paper on the axiom of choice in constructive mathematics: https://pdfs.semanticscholar.org/68d6/790cdbfda26cf71311e137...