Algorithmic randomness, reverse mathematics, and the dominated convergence theorem

Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Avigad, J., Dean, E. T., & Rute, J. Ann. Pure Appl. Logic, 163(12):1854–1864, 2012.

Paper doi bibtex

@ARTICLE{ADR12,
  author = {Avigad, Jeremy and Dean, Edward T. and Rute, Jason},
  title = {Algorithmic randomness, reverse mathematics, and the dominated convergence
	theorem},
  journal = {Ann. Pure Appl. Logic},
  year = {2012},
  volume = {163},
  pages = {1854--1864},
  number = {12},
  coden = {APALD7},
  doi = {10.1016/j.apal.2012.05.010},
  file = {ADR12.pdf:ADR12.pdf:PDF},
  fjournal = {Annals of Pure and Applied Logic},
  issn = {0168-0072},
  keywords = {bib,cca},
  mrclass = {03F35 (03B30 03D32 03F60 28A20)},
  mrnumber = {2964874},
  mrreviewer = {Denis R. Hirschfeldt},
  url = {http://dx.doi.org/10.1016/j.apal.2012.05.010}
}

Downloads: 0

{"_id":"Pr57FHcAideMqsDfc","bibbaseid":"avigad-dean-rute-algorithmicrandomnessreversemathematicsandthedominatedconvergencetheorem-2012","authorIDs":[],"author_short":["Avigad, J.","Dean, E. T.","Rute, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Avigad"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["Dean"],"firstnames":["Edward","T."],"suffixes":[]},{"propositions":[],"lastnames":["Rute"],"firstnames":["Jason"],"suffixes":[]}],"title":"Algorithmic randomness, reverse mathematics, and the dominated convergence theorem","journal":"Ann. Pure Appl. Logic","year":"2012","volume":"163","pages":"1854–1864","number":"12","coden":"APALD7","doi":"10.1016/j.apal.2012.05.010","file":"ADR12.pdf:ADR12.pdf:PDF","fjournal":"Annals of Pure and Applied Logic","issn":"0168-0072","keywords":"bib,cca","mrclass":"03F35 (03B30 03D32 03F60 28A20)","mrnumber":"2964874","mrreviewer":"Denis R. Hirschfeldt","url":"http://dx.doi.org/10.1016/j.apal.2012.05.010","bibtex":"@ARTICLE{ADR12,\r\n author = {Avigad, Jeremy and Dean, Edward T. and Rute, Jason},\r\n title = {Algorithmic randomness, reverse mathematics, and the dominated convergence\r\n\ttheorem},\r\n journal = {Ann. Pure Appl. Logic},\r\n year = {2012},\r\n volume = {163},\r\n pages = {1854--1864},\r\n number = {12},\r\n coden = {APALD7},\r\n doi = {10.1016/j.apal.2012.05.010},\r\n file = {ADR12.pdf:ADR12.pdf:PDF},\r\n fjournal = {Annals of Pure and Applied Logic},\r\n issn = {0168-0072},\r\n keywords = {bib,cca},\r\n mrclass = {03F35 (03B30 03D32 03F60 28A20)},\r\n mrnumber = {2964874},\r\n mrreviewer = {Denis R. Hirschfeldt},\r\n url = {http://dx.doi.org/10.1016/j.apal.2012.05.010}\r\n}\r\n\r\n","author_short":["Avigad, J.","Dean, E. T.","Rute, J."],"key":"ADR12","id":"ADR12","bibbaseid":"avigad-dean-rute-algorithmicrandomnessreversemathematicsandthedominatedconvergencetheorem-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.apal.2012.05.010"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.293Z","downloads":0,"keywords":["bib","cca"],"search_terms":["algorithmic","randomness","reverse","mathematics","dominated","convergence","theorem","avigad","dean","rute"],"title":"Algorithmic randomness, reverse mathematics, and the dominated convergence theorem","year":2012,"dataSources":["t7rKiAbxugj4Agz8M"]}