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 = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
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.
