Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897224341> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2897224341 endingPage "105" @default.
- W2897224341 startingPage "91" @default.
- W2897224341 abstract "Given a set A in the unit interval and the associated Lebesgue measure λ, it is a natural question whether we may (in some sense) compute the measure λ ( A ) in terms of the set A. Under the moniker measure theoretic uniformity, Tanaka and Sacks have (independently) provided a positive answer for the well-known class of hyperarithmetical sets of reals, and provided a basis theorem for such sets of positive measure. The hyperarithmetical sets are exactly the sets computable in terms of the functional 2 E, in the sense of Kleene’s S1–S9. In turn, Kleene’s 2 E essentially corresponds to arithmetical comprehension as in ACA 0 . In this paper, we generalise the aforementioned results to the ‘next level’, namely Π 1 1 -CA 0 , in the form of the Suslin functional, or the equivalent hyperjump. We also generalise the Tanaka-Sacks basis theorem to sets of positive measure that are semi-computability relative to the Suslin functional. Finally, we discuss similar generalisations for infinite time Turing machines." @default.
- W2897224341 created "2018-10-26" @default.
- W2897224341 creator A5007539743 @default.
- W2897224341 date "2021-04-16" @default.
- W2897224341 modified "2023-10-18" @default.
- W2897224341 title "Measure-theoretic uniformity and the Suslin functional" @default.
- W2897224341 cites W1539382740 @default.
- W2897224341 cites W1969555173 @default.
- W2897224341 cites W1999884823 @default.
- W2897224341 cites W2051390580 @default.
- W2897224341 cites W2055114849 @default.
- W2897224341 cites W2147090476 @default.
- W2897224341 cites W2293460502 @default.
- W2897224341 cites W2471718976 @default.
- W2897224341 cites W2478153408 @default.
- W2897224341 cites W2571490773 @default.
- W2897224341 cites W2810240568 @default.
- W2897224341 cites W2955095155 @default.
- W2897224341 cites W2962786850 @default.
- W2897224341 cites W2963554245 @default.
- W2897224341 cites W3103808306 @default.
- W2897224341 cites W4229690001 @default.
- W2897224341 cites W4251730026 @default.
- W2897224341 cites W4296119740 @default.
- W2897224341 doi "https://doi.org/10.3233/com-190248" @default.
- W2897224341 hasPublicationYear "2021" @default.
- W2897224341 type Work @default.
- W2897224341 sameAs 2897224341 @default.
- W2897224341 citedByCount "0" @default.
- W2897224341 crossrefType "journal-article" @default.
- W2897224341 hasAuthorship W2897224341A5007539743 @default.
- W2897224341 hasBestOaLocation W28972243412 @default.
- W2897224341 hasConcept C118615104 @default.
- W2897224341 hasConcept C124101348 @default.
- W2897224341 hasConcept C128394911 @default.
- W2897224341 hasConcept C14158598 @default.
- W2897224341 hasConcept C152062344 @default.
- W2897224341 hasConcept C154945302 @default.
- W2897224341 hasConcept C177264268 @default.
- W2897224341 hasConcept C199360897 @default.
- W2897224341 hasConcept C2777105136 @default.
- W2897224341 hasConcept C2777212361 @default.
- W2897224341 hasConcept C2780009758 @default.
- W2897224341 hasConcept C33923547 @default.
- W2897224341 hasConcept C41008148 @default.
- W2897224341 hasConceptScore W2897224341C118615104 @default.
- W2897224341 hasConceptScore W2897224341C124101348 @default.
- W2897224341 hasConceptScore W2897224341C128394911 @default.
- W2897224341 hasConceptScore W2897224341C14158598 @default.
- W2897224341 hasConceptScore W2897224341C152062344 @default.
- W2897224341 hasConceptScore W2897224341C154945302 @default.
- W2897224341 hasConceptScore W2897224341C177264268 @default.
- W2897224341 hasConceptScore W2897224341C199360897 @default.
- W2897224341 hasConceptScore W2897224341C2777105136 @default.
- W2897224341 hasConceptScore W2897224341C2777212361 @default.
- W2897224341 hasConceptScore W2897224341C2780009758 @default.
- W2897224341 hasConceptScore W2897224341C33923547 @default.
- W2897224341 hasConceptScore W2897224341C41008148 @default.
- W2897224341 hasIssue "2" @default.
- W2897224341 hasLocation W28972243411 @default.
- W2897224341 hasLocation W28972243412 @default.
- W2897224341 hasLocation W28972243413 @default.
- W2897224341 hasOpenAccess W2897224341 @default.
- W2897224341 hasPrimaryLocation W28972243411 @default.
- W2897224341 hasRelatedWork W2048939497 @default.
- W2897224341 hasRelatedWork W2070150049 @default.
- W2897224341 hasRelatedWork W2071065290 @default.
- W2897224341 hasRelatedWork W2408436962 @default.
- W2897224341 hasRelatedWork W2487656881 @default.
- W2897224341 hasRelatedWork W2897224341 @default.
- W2897224341 hasRelatedWork W2913145454 @default.
- W2897224341 hasRelatedWork W2946012567 @default.
- W2897224341 hasRelatedWork W70564106 @default.
- W2897224341 hasRelatedWork W2096506093 @default.
- W2897224341 hasVolume "10" @default.
- W2897224341 isParatext "false" @default.
- W2897224341 isRetracted "false" @default.
- W2897224341 magId "2897224341" @default.
- W2897224341 workType "article" @default.