✦ LIBER ✦

A constructive version of Birkhoffʼs ergodic theorem for Martin-Löf random points

✍ Scribed by Laurent Bienvenu; Adam R. Day; Mathieu Hoyrup; Ilya Mezhirov; Alexander Shen

Book ID: 113642013
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 200 KB
Volume: 210
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2011.10.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A constructive version of Birkhoff's the

A constructive version of Birkhoff's theorem

✍ Jesper Carlström 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

## Abstract A version of Birkhoff's theorem is proved by constructive, predicative, methods. The version we prove has two conditions more than the classical one. First, the class considered is assumed to contain a generic family, which is defined to be a set‐indexed family of algebras such that if