Alexei G. Myasnikov, Alexander Rybalov. Generic complexity of undecidable problems. Journal of Symbolic Logic, 73(2):656-673, 2008. [doi]
@article{MyasnikovR08, title = {Generic complexity of undecidable problems}, author = {Alexei G. Myasnikov and Alexander Rybalov}, year = {2008}, url = {http://projecteuclid.org/euclid.jsl/1208359065}, researchr = {https://researchr.org/publication/MyasnikovR08}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {73}, number = {2}, pages = {656-673}, }