@misc{indiciae5cdc33037181, title = {The computational content of intrinsic density}, author = {Eric P. Astor}, year = {2017}, url = {https://arxiv.org/abs/1708.04267}, note = {Source identifier: 1708.04267} }