✦ LIBER ✦

Characterizing strong randomness via Martin-Löf randomness

✍ Scribed by Liang Yu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Martin-Löf randomness and Galton–Watson

✍ David Diamondstone; Bjørn Kjos-Hanssen 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 271 KB

Martin-Löf Randomness, Invariant Measure

✍ Willem L. Fouché 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 544 KB

Computability of probability measures an

✍ Mathieu Hoyrup; Cristóbal Rojas 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 268 KB

Σ0n-complete properties of programs and

✍ Kojiro Kobayashi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 479 KB

Characterizing the strongly jump-traceab

✍ Noam Greenberg; Denis R. Hirschfeldt; André Nies 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 407 KB

A constructive version of Birkhoffʼs erg

✍ Laurent Bienvenu; Adam R. Day; Mathieu Hoyrup; Ilya Mezhirov; Alexander Shen 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 200 KB