Computing from projections of random points
From MaRDI portal
Publication:5114804
DOI10.1142/S0219061319500144zbMath1467.03013arXiv1707.00256OpenAlexW3105857834MaRDI QIDQ5114804
Joseph S. Miller, André Nies, Noam Greenberg
Publication date: 26 June 2020
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1707.00256
Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Other Turing degree structures (03D28) Algorithmic randomness and dimension (03D32)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coherent randomness tests and computing the \(K\)-trivial sets
- Randomness notions and partial relativization
- A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
- Characterizing the strongly jump-traceable sets via randomness
- On strongly jump traceable reals
- Some intersection theorems for ordered sets and graphs
- Density, forcing, and the covering problem
- Lowness properties and randomness
- Martin-Löf random points satisfy Birkhoff’s ergodic theorem for effectively closed sets
- Denjoy, Demuth and density
- Lowness notions, measure and domination
- Entropy and set cardinality inequalities for partition-determined functions
- COMPUTINGK-TRIVIAL SETS BY INCOMPLETE RANDOM SETS
- EXACT PAIRS FOR THE IDEAL OF THEK-TRIVIAL SEQUENCES IN THE TURING DEGREES
- COARSE REDUCIBILITY AND ALGORITHMIC RANDOMNESS
- Difference randomness
- Benign cost functions and lowness properties
- Algorithmic Randomness and Complexity
- Randomness and differentiability
- Counting the changes of random Δ20 sets
- Every sequence is reducible to a random one
- Algorithmic Information Theory
- STRONG JUMP-TRACEABILITY
- Projections of Bodies and Hereditary Properties of Hypergraphs
- Using random sets as oracles
- Inherent enumerability of strong jump-traceability
- An inequality related to the isoperimetric inequality
- Combinatorial interpretation of Kolmogorov complexity
This page was built for publication: Computing from projections of random points
