Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106260240> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2106260240 endingPage "802" @default.
- W2106260240 startingPage "783" @default.
- W2106260240 abstract "Abstract We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are comprehension and induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak König's lemma, i.e. the statement that every infinite {0, 1}-tree has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis." @default.
- W2106260240 created "2016-06-24" @default.
- W2106260240 creator A5026802191 @default.
- W2106260240 date "1984-09-01" @default.
- W2106260240 modified "2023-10-16" @default.
- W2106260240 title "Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?" @default.
- W2106260240 cites W1491173026 @default.
- W2106260240 cites W1522998756 @default.
- W2106260240 cites W1561005717 @default.
- W2106260240 cites W1984274214 @default.
- W2106260240 cites W1987936846 @default.
- W2106260240 cites W2083421003 @default.
- W2106260240 cites W2086349071 @default.
- W2106260240 cites W4231202900 @default.
- W2106260240 cites W78146983 @default.
- W2106260240 doi "https://doi.org/10.2307/2274131" @default.
- W2106260240 hasPublicationYear "1984" @default.
- W2106260240 type Work @default.
- W2106260240 sameAs 2106260240 @default.
- W2106260240 citedByCount "67" @default.
- W2106260240 countsByYear W21062602402012 @default.
- W2106260240 countsByYear W21062602402014 @default.
- W2106260240 countsByYear W21062602402017 @default.
- W2106260240 countsByYear W21062602402023 @default.
- W2106260240 crossrefType "journal-article" @default.
- W2106260240 hasAuthorship W2106260240A5026802191 @default.
- W2106260240 hasConcept C112343008 @default.
- W2106260240 hasConcept C118615104 @default.
- W2106260240 hasConcept C127753061 @default.
- W2106260240 hasConcept C134306372 @default.
- W2106260240 hasConcept C136119220 @default.
- W2106260240 hasConcept C167729594 @default.
- W2106260240 hasConcept C18903297 @default.
- W2106260240 hasConcept C197451259 @default.
- W2106260240 hasConcept C202444582 @default.
- W2106260240 hasConcept C206929604 @default.
- W2106260240 hasConcept C2524010 @default.
- W2106260240 hasConcept C2777759810 @default.
- W2106260240 hasConcept C33923547 @default.
- W2106260240 hasConcept C45053136 @default.
- W2106260240 hasConcept C45962547 @default.
- W2106260240 hasConcept C46757340 @default.
- W2106260240 hasConcept C48540410 @default.
- W2106260240 hasConcept C49344536 @default.
- W2106260240 hasConcept C51544822 @default.
- W2106260240 hasConcept C65148605 @default.
- W2106260240 hasConcept C78045399 @default.
- W2106260240 hasConcept C86803240 @default.
- W2106260240 hasConcept C97489613 @default.
- W2106260240 hasConceptScore W2106260240C112343008 @default.
- W2106260240 hasConceptScore W2106260240C118615104 @default.
- W2106260240 hasConceptScore W2106260240C127753061 @default.
- W2106260240 hasConceptScore W2106260240C134306372 @default.
- W2106260240 hasConceptScore W2106260240C136119220 @default.
- W2106260240 hasConceptScore W2106260240C167729594 @default.
- W2106260240 hasConceptScore W2106260240C18903297 @default.
- W2106260240 hasConceptScore W2106260240C197451259 @default.
- W2106260240 hasConceptScore W2106260240C202444582 @default.
- W2106260240 hasConceptScore W2106260240C206929604 @default.
- W2106260240 hasConceptScore W2106260240C2524010 @default.
- W2106260240 hasConceptScore W2106260240C2777759810 @default.
- W2106260240 hasConceptScore W2106260240C33923547 @default.
- W2106260240 hasConceptScore W2106260240C45053136 @default.
- W2106260240 hasConceptScore W2106260240C45962547 @default.
- W2106260240 hasConceptScore W2106260240C46757340 @default.
- W2106260240 hasConceptScore W2106260240C48540410 @default.
- W2106260240 hasConceptScore W2106260240C49344536 @default.
- W2106260240 hasConceptScore W2106260240C51544822 @default.
- W2106260240 hasConceptScore W2106260240C65148605 @default.
- W2106260240 hasConceptScore W2106260240C78045399 @default.
- W2106260240 hasConceptScore W2106260240C86803240 @default.
- W2106260240 hasConceptScore W2106260240C97489613 @default.
- W2106260240 hasIssue "3" @default.
- W2106260240 hasLocation W21062602401 @default.
- W2106260240 hasOpenAccess W2106260240 @default.
- W2106260240 hasPrimaryLocation W21062602401 @default.
- W2106260240 hasRelatedWork W1184531547 @default.
- W2106260240 hasRelatedWork W1562330853 @default.
- W2106260240 hasRelatedWork W1988570174 @default.
- W2106260240 hasRelatedWork W2044107340 @default.
- W2106260240 hasRelatedWork W2083904045 @default.
- W2106260240 hasRelatedWork W2106260240 @default.
- W2106260240 hasRelatedWork W2553375059 @default.
- W2106260240 hasRelatedWork W3176473721 @default.
- W2106260240 hasRelatedWork W4213356241 @default.
- W2106260240 hasRelatedWork W87599178 @default.
- W2106260240 hasVolume "49" @default.
- W2106260240 isParatext "false" @default.
- W2106260240 isRetracted "false" @default.
- W2106260240 magId "2106260240" @default.
- W2106260240 workType "article" @default.