[FOM] A question about AC in constructive mathematics

[W.Taylor at math.canterbury.ac.nz]

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.