Matches in SemOpenAlex for { <https://semopenalex.org/work/W2074785052> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2074785052 endingPage "541" @default.
- W2074785052 startingPage "528" @default.
- W2074785052 abstract "An important open problem in Reverse Mathematics (Montalbán, 2011 [16]; Simpson, 2009 [25]) is the reduction of the first-order strength of the base theory from IΣ1 to IΔ0+exp. The system ERNA, a version of Nonstandard Analysis based on the system IΔ0+exp, provides a partial solution to this problem. Indeed, weak Königʼs lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA, while preserving the equivalences, but at the price of replacing equality with ‘≈’, i.e. infinitesimal proximity (Sanders, 2011 [19]). The logical principle corresponding to weak Königʼs lemma is the universal transfer principle from Nonstandard Analysis. Here, we consider the intermediate and mean value theorem and their uniform generalizations. We show that ERNAʼs Reverse Mathematics mirrors the situation in classical Reverse Mathematics. This further supports our claim from Sanders (2011) [19] that the Reverse Mathematics of ERNA plus universal transfer is a copy up to infinitesimals of that of WKL0. We discuss some of the philosophical implications of our results." @default.
- W2074785052 created "2016-06-24" @default.
- W2074785052 creator A5073669576 @default.
- W2074785052 date "2013-05-01" @default.
- W2074785052 modified "2023-09-26" @default.
- W2074785052 title "Reverse-engineering Reverse Mathematics" @default.
- W2074785052 cites W1556453281 @default.
- W2074785052 cites W1969304434 @default.
- W2074785052 cites W1989571427 @default.
- W2074785052 cites W2028509288 @default.
- W2074785052 cites W2041829772 @default.
- W2074785052 cites W2050587003 @default.
- W2074785052 cites W2067369324 @default.
- W2074785052 cites W2112384787 @default.
- W2074785052 cites W2116436934 @default.
- W2074785052 cites W2125707848 @default.
- W2074785052 cites W2129462326 @default.
- W2074785052 cites W2152755939 @default.
- W2074785052 cites W2170311001 @default.
- W2074785052 cites W2170311073 @default.
- W2074785052 cites W2289463179 @default.
- W2074785052 cites W2290177248 @default.
- W2074785052 cites W2479388044 @default.
- W2074785052 cites W2908250557 @default.
- W2074785052 doi "https://doi.org/10.1016/j.apal.2012.11.006" @default.
- W2074785052 hasPublicationYear "2013" @default.
- W2074785052 type Work @default.
- W2074785052 sameAs 2074785052 @default.
- W2074785052 citedByCount "1" @default.
- W2074785052 countsByYear W20747850522018 @default.
- W2074785052 crossrefType "journal-article" @default.
- W2074785052 hasAuthorship W2074785052A5073669576 @default.
- W2074785052 hasBestOaLocation W20747850521 @default.
- W2074785052 hasConcept C118615104 @default.
- W2074785052 hasConcept C127753061 @default.
- W2074785052 hasConcept C134306372 @default.
- W2074785052 hasConcept C167729594 @default.
- W2074785052 hasConcept C18903297 @default.
- W2074785052 hasConcept C199343813 @default.
- W2074785052 hasConcept C199360897 @default.
- W2074785052 hasConcept C202444582 @default.
- W2074785052 hasConcept C207850805 @default.
- W2074785052 hasConcept C2524010 @default.
- W2074785052 hasConcept C2777686260 @default.
- W2074785052 hasConcept C2777759810 @default.
- W2074785052 hasConcept C33923547 @default.
- W2074785052 hasConcept C41008148 @default.
- W2074785052 hasConcept C46757340 @default.
- W2074785052 hasConcept C71924100 @default.
- W2074785052 hasConcept C86803240 @default.
- W2074785052 hasConcept C91229774 @default.
- W2074785052 hasConceptScore W2074785052C118615104 @default.
- W2074785052 hasConceptScore W2074785052C127753061 @default.
- W2074785052 hasConceptScore W2074785052C134306372 @default.
- W2074785052 hasConceptScore W2074785052C167729594 @default.
- W2074785052 hasConceptScore W2074785052C18903297 @default.
- W2074785052 hasConceptScore W2074785052C199343813 @default.
- W2074785052 hasConceptScore W2074785052C199360897 @default.
- W2074785052 hasConceptScore W2074785052C202444582 @default.
- W2074785052 hasConceptScore W2074785052C207850805 @default.
- W2074785052 hasConceptScore W2074785052C2524010 @default.
- W2074785052 hasConceptScore W2074785052C2777686260 @default.
- W2074785052 hasConceptScore W2074785052C2777759810 @default.
- W2074785052 hasConceptScore W2074785052C33923547 @default.
- W2074785052 hasConceptScore W2074785052C41008148 @default.
- W2074785052 hasConceptScore W2074785052C46757340 @default.
- W2074785052 hasConceptScore W2074785052C71924100 @default.
- W2074785052 hasConceptScore W2074785052C86803240 @default.
- W2074785052 hasConceptScore W2074785052C91229774 @default.
- W2074785052 hasIssue "5" @default.
- W2074785052 hasLocation W20747850521 @default.
- W2074785052 hasLocation W20747850522 @default.
- W2074785052 hasLocation W20747850523 @default.
- W2074785052 hasOpenAccess W2074785052 @default.
- W2074785052 hasPrimaryLocation W20747850521 @default.
- W2074785052 hasRelatedWork W1507261115 @default.
- W2074785052 hasRelatedWork W1559233844 @default.
- W2074785052 hasRelatedWork W1854269782 @default.
- W2074785052 hasRelatedWork W2098052203 @default.
- W2074785052 hasRelatedWork W2952974683 @default.
- W2074785052 hasRelatedWork W2962823038 @default.
- W2074785052 hasRelatedWork W3102766618 @default.
- W2074785052 hasRelatedWork W3126455849 @default.
- W2074785052 hasRelatedWork W4253252982 @default.
- W2074785052 hasRelatedWork W4298328084 @default.
- W2074785052 hasVolume "164" @default.
- W2074785052 isParatext "false" @default.
- W2074785052 isRetracted "false" @default.
- W2074785052 magId "2074785052" @default.
- W2074785052 workType "article" @default.