Density, forcing, and the covering problem
From MaRDI portal
Publication:2355765
DOI10.4310/MRL.2015.V22.N3.A5zbMATH Open1326.03050arXiv1304.2789MaRDI QIDQ2355765FDOQ2355765
Authors: Adam R. Day, Joseph S. Miller 
Publication date: 28 July 2015
Published in: Mathematical Research Letters (Search for Journal in Brave)
Abstract: We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-L"of random set X such that X does not compute 0' and X computes every K-trivial set.
Full work available at URL: https://arxiv.org/abs/1304.2789
Recommendations
- On the Erdős covering problem: the density of the uncovered set
- On packings and coverings of unit density
- scientific article; zbMATH DE number 1163714
- On the density of finite packings
- On a relation between packing and covering densities of convex bodies
- scientific article; zbMATH DE number 3971633
- scientific article; zbMATH DE number 1229732
- scientific article; zbMATH DE number 4025460
- Density Problems for p (n )
Algorithmic randomness and dimension (03D32) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Other degrees and reducibilities in computability and recursion theory (03D30)
Cited In (17)
- Martin-Löf reducibility and cost functions
- Calculus of cost functions
- A covering theorem and the random-indestructibility of the density zero ideal
- Coherent randomness tests and computing the \(K\)-trivial sets
- Computing from projections of random points
- Deep \(\Pi_1^0\) classes
- Nullifying randomness and genericity using symmetric difference
- Randomness notions and reverse mathematics
- A computational approach to the Borwein-Ditor theorem
- Lightface \(\varPi ^0_3\)-completeness of density sets under effective Wadge reducibility
- Lowness, Randomness, and Computable Analysis
- Extracting randomness within a subset is hard
- Lebesgue density and \(\Pi _1^0\) classes
- Using almost-everywhere theorems from analysis to study randomness
- Strong jump-traceability
- Covering the recursive sets
- Continuous higher randomness
This page was built for publication: Density, forcing, and the covering problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2355765)
