## Choice principles in constructive and classical set theories (2002)

by
Michael Rathjen

Venue: | POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002 |

Citations: | 4 - 3 self |

### BibTeX

@INPROCEEDINGS{Rathjen02choiceprinciples,

author = {Michael Rathjen},

title = {Choice principles in constructive and classical set theories },

booktitle = {POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002},

year = {2002},

publisher = {}

}

### OpenURL

### Abstract

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.