Department of Mathematics
Stockholm University
Research Reports in Mathematics
Number 14, 2003
Jesper Carlström.
EM + Ext_ + AC
int
<=> AC
ext
.
Publication date:
November 12, 2003.
Keywords:
Excluded Middle, Axiom of Choice, Extensionality, Intensional Axiom of Choice, Extensional Axiom of Choice.
2000 MSC:
Primary
04A25,
Secondary
03B15.
Download report as:
[
PostScript
][
Portable Document Format
]
A revised version is available
here
.
[
2003
][
Report archive
][
Dept Math
]
