Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661746 | Annals of Pure and Applied Logic | 2014 | 23 Pages |
Abstract
Finally, we consider a theory that claims Martin-Löf randomness of a given infinite binary sequence. This claim can be formalized in different ways. We show that different formalizations are closely related but not equivalent, and study their properties.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Laurent Bienvenu, Andrei Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren,