Intuitionistic notions of boundedness in N

Fred Richman. Intuitionistic notions of boundedness in N. Math. Log. Q., 55(1):31-36, 2009. [doi]

@article{Richman09,
  title = {Intuitionistic notions of boundedness in N},
  author = {Fred Richman},
  year = {2009},
  doi = {10.1002/malq.200710072},
  url = {http://dx.doi.org/10.1002/malq.200710072},
  researchr = {https://researchr.org/publication/Richman09},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {55},
  number = {1},
  pages = {31-36},
}