%0 Journal Article %1 journals/igpl/CaludeH09 %A Calude, Cristian S. %A Hay, Nicholas J. %D 2009 %J Logic Journal of the IGPL %K dblp %N 4 %P 351-374 %T Every computably enumerable random real is provably computably enumerable random. %U http://dblp.uni-trier.de/db/journals/igpl/igpl17.html#CaludeH09 %V 17

@article{journals/igpl/CaludeH09, added-at = {2018-11-14T00:00:00.000+0100}, author = {Calude, Cristian S. and Hay, Nicholas J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d900da649b9636054e6adc9c1513dbdf/dblp}, ee = {https://www.wikidata.org/entity/Q57001570}, interhash = {0afbffb009f8460d41a60db2a55d2127}, intrahash = {d900da649b9636054e6adc9c1513dbdf}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 4, pages = {351-374}, timestamp = {2019-09-27T11:51:27.000+0200}, title = {Every computably enumerable random real is provably computably enumerable random.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl17.html#CaludeH09}, volume = 17, year = 2009 }