Matches in SemOpenAlex for { <https://semopenalex.org/work/W2605899164> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2605899164 abstract "The Jordan decomposition theorem states that every function $f colon [0,1] to mathbb{R}$ of bounded variation can be written as the difference of two non-decreasing functions. Combining this fact with a result of Lebesgue, every function of bounded variation is differentiable almost everywhere in the sense of Lebesgue measure. We analyze the strength of these theorems in the setting of reverse mathematics. Over $mathsf{RCA}_0$, a stronger version of Jordan's result where all functions are continuous is equivalent to $mathsf{ACA}_0$, while the version stated is equivalent to $mathsf{WKL}_0$. The result that every function on $[0,1]$ of bounded variation is almost everywhere differentiable is equivalent to $mathsf{WWKL}_0$. To state this equivalence in a meaningful way, we develop a theory of Martin-Lof randomness over $mathsf{RCA}_0$." @default.
- W2605899164 created "2017-04-28" @default.
- W2605899164 creator A5034226803 @default.
- W2605899164 creator A5047690936 @default.
- W2605899164 creator A5054501530 @default.
- W2605899164 date "2017-04-04" @default.
- W2605899164 modified "2023-09-23" @default.
- W2605899164 title "The reverse mathematics of theorems of Jordan and Lebesgue" @default.
- W2605899164 cites W1556453281 @default.
- W2605899164 cites W1996532779 @default.
- W2605899164 cites W2041268579 @default.
- W2605899164 cites W2045383980 @default.
- W2605899164 cites W2066786168 @default.
- W2605899164 cites W2089902858 @default.
- W2605899164 cites W2100382100 @default.
- W2605899164 cites W2152755939 @default.
- W2605899164 cites W2319633204 @default.
- W2605899164 doi "https://doi.org/10.48550/arxiv.1704.00931" @default.
- W2605899164 hasPublicationYear "2017" @default.
- W2605899164 type Work @default.
- W2605899164 sameAs 2605899164 @default.
- W2605899164 citedByCount "3" @default.
- W2605899164 countsByYear W26058991642018 @default.
- W2605899164 countsByYear W26058991642019 @default.
- W2605899164 crossrefType "posted-content" @default.
- W2605899164 hasAuthorship W2605899164A5034226803 @default.
- W2605899164 hasAuthorship W2605899164A5047690936 @default.
- W2605899164 hasAuthorship W2605899164A5054501530 @default.
- W2605899164 hasBestOaLocation W26058991641 @default.
- W2605899164 hasConcept C118615104 @default.
- W2605899164 hasConcept C127753061 @default.
- W2605899164 hasConcept C132954091 @default.
- W2605899164 hasConcept C134306372 @default.
- W2605899164 hasConcept C14158598 @default.
- W2605899164 hasConcept C167729594 @default.
- W2605899164 hasConcept C172294467 @default.
- W2605899164 hasConcept C191832335 @default.
- W2605899164 hasConcept C202444582 @default.
- W2605899164 hasConcept C202615002 @default.
- W2605899164 hasConcept C2524010 @default.
- W2605899164 hasConcept C27142425 @default.
- W2605899164 hasConcept C2777105136 @default.
- W2605899164 hasConcept C2780009758 @default.
- W2605899164 hasConcept C27851653 @default.
- W2605899164 hasConcept C33923547 @default.
- W2605899164 hasConcept C34388435 @default.
- W2605899164 hasConcept C41008148 @default.
- W2605899164 hasConcept C41833934 @default.
- W2605899164 hasConcept C43323394 @default.
- W2605899164 hasConcept C43929395 @default.
- W2605899164 hasConcept C77088390 @default.
- W2605899164 hasConceptScore W2605899164C118615104 @default.
- W2605899164 hasConceptScore W2605899164C127753061 @default.
- W2605899164 hasConceptScore W2605899164C132954091 @default.
- W2605899164 hasConceptScore W2605899164C134306372 @default.
- W2605899164 hasConceptScore W2605899164C14158598 @default.
- W2605899164 hasConceptScore W2605899164C167729594 @default.
- W2605899164 hasConceptScore W2605899164C172294467 @default.
- W2605899164 hasConceptScore W2605899164C191832335 @default.
- W2605899164 hasConceptScore W2605899164C202444582 @default.
- W2605899164 hasConceptScore W2605899164C202615002 @default.
- W2605899164 hasConceptScore W2605899164C2524010 @default.
- W2605899164 hasConceptScore W2605899164C27142425 @default.
- W2605899164 hasConceptScore W2605899164C2777105136 @default.
- W2605899164 hasConceptScore W2605899164C2780009758 @default.
- W2605899164 hasConceptScore W2605899164C27851653 @default.
- W2605899164 hasConceptScore W2605899164C33923547 @default.
- W2605899164 hasConceptScore W2605899164C34388435 @default.
- W2605899164 hasConceptScore W2605899164C41008148 @default.
- W2605899164 hasConceptScore W2605899164C41833934 @default.
- W2605899164 hasConceptScore W2605899164C43323394 @default.
- W2605899164 hasConceptScore W2605899164C43929395 @default.
- W2605899164 hasConceptScore W2605899164C77088390 @default.
- W2605899164 hasLocation W26058991641 @default.
- W2605899164 hasOpenAccess W2605899164 @default.
- W2605899164 hasPrimaryLocation W26058991641 @default.
- W2605899164 hasRelatedWork W2013545124 @default.
- W2605899164 hasRelatedWork W2108639512 @default.
- W2605899164 hasRelatedWork W2208195876 @default.
- W2605899164 hasRelatedWork W2321395214 @default.
- W2605899164 hasRelatedWork W2324908414 @default.
- W2605899164 hasRelatedWork W2487656881 @default.
- W2605899164 hasRelatedWork W2605899164 @default.
- W2605899164 hasRelatedWork W2963197230 @default.
- W2605899164 hasRelatedWork W3128260604 @default.
- W2605899164 hasRelatedWork W3178188693 @default.
- W2605899164 isParatext "false" @default.
- W2605899164 isRetracted "false" @default.
- W2605899164 magId "2605899164" @default.
- W2605899164 workType "article" @default.