Not Choosing Is Still a Choice: Constructive mathematics without any choice.
Martin Baillon, Yannick Forster, Dominik Kirst, Assia Mahboubi, Pierre-Marie Pdrot
Browse the full FSCD paper archive.
Martin Baillon, Yannick Forster, Dominik Kirst, Assia Mahboubi, Pierre-Marie Pdrot
Browse the full FSCD paper archive.