Extensionality and choice in constructive mathematics

• 1 May 1980
• journal article
• Published by Mathematical Sciences Publishers in Pacific Journal of Mathematics
• Vol. 88  (1) , 1-28
• https://doi.org/10.2140/pjm.1980.88.1

Abstract

Keywords

• CHOICE IN CONSTRUCTIVE MATHEMATICS
• EXTENSIONALITY AND CHOICE IN CONSTRUCTIVE