TY  - JOUR
AU  - Repický, Miroslav
TI  - A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2015
SP  - 543
EP  - 546
VL  - 56
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2015.138/
DO  - 10.14712/1213-7243.2015.138
LA  - en
ID  - 10_14712_1213_7243_2015_138
ER  -