Matches in SemOpenAlex for { <https://semopenalex.org/work/W1790699462> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1790699462 abstract "A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse descriptions of a given set A, especially when A is effectively random in some sense. We show that if A is 1-random and B is computable from every coarse description D of A, then B is K-trivial, which implies that if A is in fact weakly 2-random then B is computable. Our main tool is a kind of compactness theorem for cone-avoiding descriptions, which also allows us to prove the same result for 1-genericity in place of weak 2-randomness. In the other direction, we show that if A is a 1-random set which Turing-reduces to 0', then there is a noncomputable c.e. set computable from every coarse description of A, but that not all K-trivial sets are computable from every coarse description of some 1-random set. We study both uniform and nonuniform notions of coarse reducibility. A set Y is uniformly coarsely reducible to X if there is a Turing functional Phi such that if D is a coarse description of X, then Phi^D is a coarse description of Y. A set B is nonuniformly coarsely reducible to A if every coarse description of A computes a coarse description of B. We show that a certain natural embedding of the Turing degrees into the coarse degrees (both uniform and nonuniform) is not surjective. We also show that if two sets are mutually weakly 3-random, then their coarse degrees form a minimal pair, in both the uniform and nonuniform cases, but that the same is not true of every pair of relatively 2-random sets, at least in the nonuniform coarse degrees." @default.
- W1790699462 created "2016-06-24" @default.
- W1790699462 creator A5008417331 @default.
- W1790699462 creator A5015485533 @default.
- W1790699462 creator A5057158738 @default.
- W1790699462 creator A5062666692 @default.
- W1790699462 date "2015-05-07" @default.
- W1790699462 modified "2023-09-27" @default.
- W1790699462 title "Coarse Reducibility and Algorithmic Randomness" @default.
- W1790699462 cites W1480985349 @default.
- W1790699462 cites W1563081626 @default.
- W1790699462 cites W1579696469 @default.
- W1790699462 cites W1972685794 @default.
- W1790699462 cites W1980224569 @default.
- W1790699462 cites W2056414301 @default.
- W1790699462 cites W2073407285 @default.
- W1790699462 cites W2090322880 @default.
- W1790699462 cites W2147273418 @default.
- W1790699462 cites W2204707283 @default.
- W1790699462 cites W2276415813 @default.
- W1790699462 cites W2296409586 @default.
- W1790699462 cites W2962874125 @default.
- W1790699462 cites W3091923320 @default.
- W1790699462 cites W3100765960 @default.
- W1790699462 cites W3932255 @default.
- W1790699462 hasPublicationYear "2015" @default.
- W1790699462 type Work @default.
- W1790699462 sameAs 1790699462 @default.
- W1790699462 citedByCount "1" @default.
- W1790699462 countsByYear W17906994622016 @default.
- W1790699462 crossrefType "posted-content" @default.
- W1790699462 hasAuthorship W1790699462A5008417331 @default.
- W1790699462 hasAuthorship W1790699462A5015485533 @default.
- W1790699462 hasAuthorship W1790699462A5057158738 @default.
- W1790699462 hasAuthorship W1790699462A5062666692 @default.
- W1790699462 hasConcept C105795698 @default.
- W1790699462 hasConcept C11413529 @default.
- W1790699462 hasConcept C114614502 @default.
- W1790699462 hasConcept C118615104 @default.
- W1790699462 hasConcept C121332964 @default.
- W1790699462 hasConcept C125112378 @default.
- W1790699462 hasConcept C154945302 @default.
- W1790699462 hasConcept C156491182 @default.
- W1790699462 hasConcept C177264268 @default.
- W1790699462 hasConcept C18648836 @default.
- W1790699462 hasConcept C199360897 @default.
- W1790699462 hasConcept C202444582 @default.
- W1790699462 hasConcept C2779557605 @default.
- W1790699462 hasConcept C29248071 @default.
- W1790699462 hasConcept C33923547 @default.
- W1790699462 hasConcept C41008148 @default.
- W1790699462 hasConcept C41608201 @default.
- W1790699462 hasConcept C45374587 @default.
- W1790699462 hasConcept C62520636 @default.
- W1790699462 hasConceptScore W1790699462C105795698 @default.
- W1790699462 hasConceptScore W1790699462C11413529 @default.
- W1790699462 hasConceptScore W1790699462C114614502 @default.
- W1790699462 hasConceptScore W1790699462C118615104 @default.
- W1790699462 hasConceptScore W1790699462C121332964 @default.
- W1790699462 hasConceptScore W1790699462C125112378 @default.
- W1790699462 hasConceptScore W1790699462C154945302 @default.
- W1790699462 hasConceptScore W1790699462C156491182 @default.
- W1790699462 hasConceptScore W1790699462C177264268 @default.
- W1790699462 hasConceptScore W1790699462C18648836 @default.
- W1790699462 hasConceptScore W1790699462C199360897 @default.
- W1790699462 hasConceptScore W1790699462C202444582 @default.
- W1790699462 hasConceptScore W1790699462C2779557605 @default.
- W1790699462 hasConceptScore W1790699462C29248071 @default.
- W1790699462 hasConceptScore W1790699462C33923547 @default.
- W1790699462 hasConceptScore W1790699462C41008148 @default.
- W1790699462 hasConceptScore W1790699462C41608201 @default.
- W1790699462 hasConceptScore W1790699462C45374587 @default.
- W1790699462 hasConceptScore W1790699462C62520636 @default.
- W1790699462 hasLocation W17906994621 @default.
- W1790699462 hasOpenAccess W1790699462 @default.
- W1790699462 hasPrimaryLocation W17906994621 @default.
- W1790699462 hasRelatedWork W116888106 @default.
- W1790699462 hasRelatedWork W1527166211 @default.
- W1790699462 hasRelatedWork W1973240108 @default.
- W1790699462 hasRelatedWork W1987792882 @default.
- W1790699462 hasRelatedWork W2029943838 @default.
- W1790699462 hasRelatedWork W2038973889 @default.
- W1790699462 hasRelatedWork W2073800363 @default.
- W1790699462 hasRelatedWork W2101281054 @default.
- W1790699462 hasRelatedWork W239239047 @default.
- W1790699462 hasRelatedWork W2401658035 @default.
- W1790699462 hasRelatedWork W2795212017 @default.
- W1790699462 hasRelatedWork W2883856176 @default.
- W1790699462 hasRelatedWork W2898291313 @default.
- W1790699462 hasRelatedWork W2964204138 @default.
- W1790699462 hasRelatedWork W3012270600 @default.
- W1790699462 hasRelatedWork W3015936580 @default.
- W1790699462 hasRelatedWork W3152090362 @default.
- W1790699462 hasRelatedWork W3152838686 @default.
- W1790699462 hasRelatedWork W5017803 @default.
- W1790699462 hasRelatedWork W2771361437 @default.
- W1790699462 isParatext "false" @default.
- W1790699462 isRetracted "false" @default.
- W1790699462 magId "1790699462" @default.
- W1790699462 workType "article" @default.