Matthias Baaz, Norbert Brunner, Karl Svozil. The Axiom of Choice in Quantum Theory. Math. Log. Q., 42:319-340, 1996.
@article{BaazBS96, title = {The Axiom of Choice in Quantum Theory}, author = {Matthias Baaz and Norbert Brunner and Karl Svozil}, year = {1996}, researchr = {https://researchr.org/publication/BaazBS96}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {42}, pages = {319-340}, }