A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
From MaRDI portal
Publication:1019738
DOI10.1016/j.tcs.2009.02.010zbMath1171.60002arXiv0711.1478WikidataQ124974439 ScholiaQ124974439MaRDI QIDQ1019738
Stefano Galatolo, Cristobal Rojas, Mathieu Hoyrup
Publication date: 28 May 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0711.1478
Related Items
From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality, Effective symbolic dynamics, random points, statistical behavior, complexity and entropy, Characterization of Kurtz randomness by a differentiation theorem, Computability of probability measures and Martin-Löf randomness over metric spaces, Statistical properties of dynamical systems -- Simulation and abstract computation, Computability of the Radon-Nikodym Derivative, Randomness and Determination, from Physics and Computing towards Biology
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamics and abstract computability: computing invariant measures
- Dynamics: a probabilistic and geometric perspective
- Effective properties of sets and functions in metric spaces with computability structure
- What are SRB measures, and which dynamical systems have them?
- Sharp polynomial estimates for the decay of correlations
- Computability of probability measures and Martin-Löf randomness over metric spaces
- Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. (Randomness and probability. An algorithmic foundation of probability theory)
- Uniform test of algorithmic randomness over a general space
- On Computable Numbers, with an Application to the Entscheidungsproblem
- An example of a computable absolutely normal number
