Ernst P. Specker. The axiom of choice in Quine's New foundations for mathematical logic. Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 972–975.
1973 ◽
Vol 70
(10)
◽
pp. 3009-3035
◽
2013 ◽
Vol 98
(9)
◽
pp. 3525-3528
1989 ◽
Vol 86
(23)
◽
pp. 9053-9074
◽