Choice principles in constructive and classical set theories
Department of Pure Mathematics, University of Leeds
Leeds LS2 9JT, United Kingdom
The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models.
POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002