Constructive mathematics and unbounded operators - A reply to Hellman

Douglas S. Bridges. Constructive mathematics and unbounded operators - A reply to Hellman. J. Philosophical Logic, 24(5):549-561, 1995. [doi]

@article{Bridges95-0,
  title = {Constructive mathematics and unbounded operators - A reply to Hellman},
  author = {Douglas S. Bridges},
  year = {1995},
  doi = {10.1007/BF01052602},
  url = {http://dx.doi.org/10.1007/BF01052602},
  researchr = {https://researchr.org/publication/Bridges95-0},
  cites = {0},
  citedby = {0},
  journal = {J. Philosophical Logic},
  volume = {24},
  number = {5},
  pages = {549-561},
}