Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950888959> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2950888959 abstract "Constructive dimension and constructive strong dimension are effectivizations of the Hausdorff and packing dimensions, respectively. Each infinite binary sequence A is assigned a dimension dim(A) in [0,1] and a strong dimension Dim(A) in [0,1]. Let DIM^alpha and DIMstr^alpha be the classes of all sequences of dimension alpha and of strong dimension alpha, respectively. We show that DIM^0 is properly Pi^0_2, and that for all Delta^0_2-computable alpha in (0,1], DIM^alpha is properly Pi^0_3. To classify the strong dimension classes, we use a more powerful effective Borel hierarchy where a co-enumerable predicate is used rather than a enumerable predicate in the definition of the Sigma^0_1 level. For all Delta^0_2-computable alpha in [0,1), we show that DIMstr^alpha is properly in the Pi^0_3 level of this hierarchy. We show that DIMstr^1 is properly in the Pi^0_2 level of this hierarchy. We also prove that the class of Schnorr random sequences and the class of computably random sequences are properly Pi^0_3." @default.
- W2950888959 created "2019-06-27" @default.
- W2950888959 creator A5064796448 @default.
- W2950888959 creator A5076144323 @default.
- W2950888959 creator A5077270481 @default.
- W2950888959 date "2004-08-18" @default.
- W2950888959 modified "2023-09-27" @default.
- W2950888959 title "The Arithmetical Complexity of Dimension and Randomness" @default.
- W2950888959 cites W1495923794 @default.
- W2950888959 cites W1541827563 @default.
- W2950888959 cites W1597033183 @default.
- W2950888959 cites W1664039392 @default.
- W2950888959 cites W1964013156 @default.
- W2950888959 cites W1985086503 @default.
- W2950888959 cites W2046221643 @default.
- W2950888959 cites W2051681827 @default.
- W2950888959 cites W2057621739 @default.
- W2950888959 cites W2075911929 @default.
- W2950888959 cites W2076165639 @default.
- W2950888959 cites W2082201286 @default.
- W2950888959 cites W2118349518 @default.
- W2950888959 cites W2499081645 @default.
- W2950888959 cites W2582697902 @default.
- W2950888959 cites W2769895002 @default.
- W2950888959 cites W3932255 @default.
- W2950888959 cites W2610735249 @default.
- W2950888959 hasPublicationYear "2004" @default.
- W2950888959 type Work @default.
- W2950888959 sameAs 2950888959 @default.
- W2950888959 citedByCount "0" @default.
- W2950888959 crossrefType "posted-content" @default.
- W2950888959 hasAuthorship W2950888959A5064796448 @default.
- W2950888959 hasAuthorship W2950888959A5076144323 @default.
- W2950888959 hasAuthorship W2950888959A5077270481 @default.
- W2950888959 hasConcept C101597101 @default.
- W2950888959 hasConcept C114614502 @default.
- W2950888959 hasConcept C115311070 @default.
- W2950888959 hasConcept C118615104 @default.
- W2950888959 hasConcept C134306372 @default.
- W2950888959 hasConcept C162324750 @default.
- W2950888959 hasConcept C194198291 @default.
- W2950888959 hasConcept C26546657 @default.
- W2950888959 hasConcept C2778112365 @default.
- W2950888959 hasConcept C31170391 @default.
- W2950888959 hasConcept C33676613 @default.
- W2950888959 hasConcept C33923547 @default.
- W2950888959 hasConcept C34447519 @default.
- W2950888959 hasConcept C40636538 @default.
- W2950888959 hasConcept C54355233 @default.
- W2950888959 hasConcept C80661125 @default.
- W2950888959 hasConcept C86803240 @default.
- W2950888959 hasConceptScore W2950888959C101597101 @default.
- W2950888959 hasConceptScore W2950888959C114614502 @default.
- W2950888959 hasConceptScore W2950888959C115311070 @default.
- W2950888959 hasConceptScore W2950888959C118615104 @default.
- W2950888959 hasConceptScore W2950888959C134306372 @default.
- W2950888959 hasConceptScore W2950888959C162324750 @default.
- W2950888959 hasConceptScore W2950888959C194198291 @default.
- W2950888959 hasConceptScore W2950888959C26546657 @default.
- W2950888959 hasConceptScore W2950888959C2778112365 @default.
- W2950888959 hasConceptScore W2950888959C31170391 @default.
- W2950888959 hasConceptScore W2950888959C33676613 @default.
- W2950888959 hasConceptScore W2950888959C33923547 @default.
- W2950888959 hasConceptScore W2950888959C34447519 @default.
- W2950888959 hasConceptScore W2950888959C40636538 @default.
- W2950888959 hasConceptScore W2950888959C54355233 @default.
- W2950888959 hasConceptScore W2950888959C80661125 @default.
- W2950888959 hasConceptScore W2950888959C86803240 @default.
- W2950888959 hasLocation W29508889591 @default.
- W2950888959 hasOpenAccess W2950888959 @default.
- W2950888959 hasPrimaryLocation W29508889591 @default.
- W2950888959 hasRelatedWork W1518856561 @default.
- W2950888959 hasRelatedWork W1609632538 @default.
- W2950888959 hasRelatedWork W1978098265 @default.
- W2950888959 hasRelatedWork W2034673847 @default.
- W2950888959 hasRelatedWork W2056644225 @default.
- W2950888959 hasRelatedWork W2061015796 @default.
- W2950888959 hasRelatedWork W2233140512 @default.
- W2950888959 hasRelatedWork W247209993 @default.
- W2950888959 hasRelatedWork W2500922970 @default.
- W2950888959 hasRelatedWork W2555374868 @default.
- W2950888959 hasRelatedWork W2737486113 @default.
- W2950888959 hasRelatedWork W2951461820 @default.
- W2950888959 hasRelatedWork W2953204826 @default.
- W2950888959 hasRelatedWork W2972880515 @default.
- W2950888959 hasRelatedWork W3104494440 @default.
- W2950888959 hasRelatedWork W3143489396 @default.
- W2950888959 hasRelatedWork W3193812602 @default.
- W2950888959 hasRelatedWork W3200027702 @default.
- W2950888959 hasRelatedWork W3203408966 @default.
- W2950888959 hasRelatedWork W3214562071 @default.
- W2950888959 isParatext "false" @default.
- W2950888959 isRetracted "false" @default.
- W2950888959 magId "2950888959" @default.
- W2950888959 workType "article" @default.