Extensionality and choice in constructive mathematics

DOI10.2140/PJM.1980.88.1zbMath0452.03046OpenAlexW2066311424MaRDI QIDQ1148317

Michael J. Beeson

Publication date: 1980

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1980.88.1

zbMATH Keywords

functionsformal systemsaxioms of choiceoperation-theoretic systemset-theoretic systems

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items (2)

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ On the Area of Harmonic Surfaces

This page was built for publication: Extensionality and choice in constructive mathematics