@article{Brunner1996,
  doi = {10.1002/malq.19960420128},
  url = {https://doi.org/10.1002/malq.19960420128},
  year = {1996},
  publisher = {Wiley},
  volume = {42},
  number = {1},
  pages = {319-340},
  author = {Norbert Brunner and Karl Svozil and Matthias Baaz},
  title = {The Axiom of Choice in Quantum Theory},
  journal = {Mathematical Logic Quarterly}
}