Inherent enumerability of strong jump-traceability
From MaRDI portal
Publication:5496646
DOI10.1090/S0002-9947-2014-06089-3zbMath1375.03045arXiv1110.1435OpenAlexW2593504303MaRDI QIDQ5496646
Noam Greenberg, Daniel D. Turetsky, David E. Diamondstone
Publication date: 2 February 2015
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1110.1435
Recursively (computably) enumerable sets and degrees (03D25) Other Turing degree structures (03D28) Algorithmic randomness and dimension (03D32)
Related Items
STRONG JUMP-TRACEABILITY ⋮ Families of permutations and ideals of Turing degrees ⋮ Computing from projections of random points ⋮ Characterizing the strongly jump-traceable sets via randomness ⋮ Computability theory. Abstracts from the workshop held January 7--13, 2018
Cites Work
- Unnamed Item
- Unnamed Item
- Strong jump-traceability. II: \(K\)-triviality
- Computably enumerable sets below random sets
- Characterizing the strongly jump-traceable sets via randomness
- Demuth randomness and computational complexity
- On strongly jump traceable reals
- A mathematical proof of S. Shelah's theorem on the measure problem and related results
- Information-theoretic characterizations of recursive infinite strings
- Strong jump-traceability. I: The computably enumerable case
- Lowness properties and approximations of the jump
- Lowness properties and randomness
- Computational randomness and lowness
- CHARACTERIZING LOWNESS FOR DEMUTH RANDOMNESS
- COMPUTINGK-TRIVIAL SETS BY INCOMPLETE RANDOM SETS
- Benign cost functions and lowness properties
- Algorithmic Randomness and Complexity
- Time-Bounded Kolmogorov Complexity and Solovay Functions
- Randomness and Computability: Open Questions
- Calibrating Randomness
- 𝐾-trivial degrees and the jump-traceability hierarchy
- Algorithmic Information Theory
- Using random sets as oracles
- Computability and Randomness
- Strong jump-traceability and Demuth randomness
- The Degrees of Hyperimmune Sets
This page was built for publication: Inherent enumerability of strong jump-traceability