[FOM] A question about AC in constructive mathematics

W.Taylor at math.canterbury.ac.nz W.Taylor at math.canterbury.ac.nz
Sun Apr 29 02:48:20 EDT 2018

Quoting Richard Heck <richard_heck at brown.edu>:

> One possible view is
> that the extensionalizing move in constructive set theory is
> wrong-headed from the
> beginning and that what's needed is a more intensional treatment, such
> as Martin-Löf's.

Can someone please give a brief summary of what this M-L treatment is?

Thanks.   W. Taylor

This message was sent using IMP, the Internet Messaging Program.

More information about the FOM mailing list