@misc{indiciaefa0fd4f113a0, title = {A version of the Jensen-Johnsbråten coding at arbitrary level \$n\textbackslash{}geq 3\$}, author = {Vladimir Kanovei}, year = {1997}, doi = {10.1007/s001530100087}, url = {https://arxiv.org/abs/math/9712275}, note = {Source identifier: math/9712275} }