Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950147497> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2950147497 abstract "Reverse Mathematics is a program in the foundations of mathematics. Its results give rise to an elegant classification of theorems of ordinary mathematics based on computability. In particular, the majority of these theorems fall into only five categories of which the associated logical systems are dubbed `the Big Five'. Recently, a lot of effort has been directed towards finding emph{exceptional} theorems, which fall outside the Big Five categories. The so-called Reverse Mathematics zoo is a collection of such exceptional theorems (and their relations). In this paper, we show that the uniform versions of the zoo-theorems, i.e. where a functional computes the objects stated to exist, all fall in the third Big Five category arithmetical comprehension, inside Kohlenbach's higher-order Reverse Mathematics. In other words, the zoo seems to disappear at the uniform level. Our classification applies to all theorems whose objects exhibit little structure, a notion we conjecture to be connected to Montalban's notion robustness. Surprisingly, our methodology reveals a hitherto unknown `computational' aspect of Nonstandard Analysis: We shall formulate an algorithm $mathfrak{RS}$ which takes as input the proof of a specific equivalence in Nelson's internal set theory, and outputs the proof of the desired equivalence (not involving Nonstandard Analysis) between the uniform zoo principle and arithmetical comprehension. Moreover, the equivalences thus proved are even explicit, i.e. a term from the language converts the functional from one uniform principle into the functional from the other one and vice versa." @default.
- W2950147497 created "2019-06-27" @default.
- W2950147497 creator A5073669576 @default.
- W2950147497 date "2014-12-05" @default.
- W2950147497 modified "2023-09-24" @default.
- W2950147497 title "Taming Reverse Mathematics zoo" @default.
- W2950147497 hasPublicationYear "2014" @default.
- W2950147497 type Work @default.
- W2950147497 sameAs 2950147497 @default.
- W2950147497 citedByCount "0" @default.
- W2950147497 crossrefType "posted-content" @default.
- W2950147497 hasAuthorship W2950147497A5073669576 @default.
- W2950147497 hasConcept C112343008 @default.
- W2950147497 hasConcept C118615104 @default.
- W2950147497 hasConcept C127753061 @default.
- W2950147497 hasConcept C136119220 @default.
- W2950147497 hasConcept C145420912 @default.
- W2950147497 hasConcept C152062344 @default.
- W2950147497 hasConcept C167729594 @default.
- W2950147497 hasConcept C183140480 @default.
- W2950147497 hasConcept C202444582 @default.
- W2950147497 hasConcept C2524010 @default.
- W2950147497 hasConcept C2780069185 @default.
- W2950147497 hasConcept C2780990831 @default.
- W2950147497 hasConcept C33923547 @default.
- W2950147497 hasConceptScore W2950147497C112343008 @default.
- W2950147497 hasConceptScore W2950147497C118615104 @default.
- W2950147497 hasConceptScore W2950147497C127753061 @default.
- W2950147497 hasConceptScore W2950147497C136119220 @default.
- W2950147497 hasConceptScore W2950147497C145420912 @default.
- W2950147497 hasConceptScore W2950147497C152062344 @default.
- W2950147497 hasConceptScore W2950147497C167729594 @default.
- W2950147497 hasConceptScore W2950147497C183140480 @default.
- W2950147497 hasConceptScore W2950147497C202444582 @default.
- W2950147497 hasConceptScore W2950147497C2524010 @default.
- W2950147497 hasConceptScore W2950147497C2780069185 @default.
- W2950147497 hasConceptScore W2950147497C2780990831 @default.
- W2950147497 hasConceptScore W2950147497C33923547 @default.
- W2950147497 hasLocation W29501474971 @default.
- W2950147497 hasOpenAccess W2950147497 @default.
- W2950147497 hasPrimaryLocation W29501474971 @default.
- W2950147497 hasRelatedWork W1479730010 @default.
- W2950147497 hasRelatedWork W1487145188 @default.
- W2950147497 hasRelatedWork W1529576280 @default.
- W2950147497 hasRelatedWork W156559977 @default.
- W2950147497 hasRelatedWork W1766659248 @default.
- W2950147497 hasRelatedWork W1973909168 @default.
- W2950147497 hasRelatedWork W2033751758 @default.
- W2950147497 hasRelatedWork W204782742 @default.
- W2950147497 hasRelatedWork W2062454016 @default.
- W2950147497 hasRelatedWork W2089968959 @default.
- W2950147497 hasRelatedWork W2094410575 @default.
- W2950147497 hasRelatedWork W2118658434 @default.
- W2950147497 hasRelatedWork W2157923762 @default.
- W2950147497 hasRelatedWork W2252439812 @default.
- W2950147497 hasRelatedWork W2321532372 @default.
- W2950147497 hasRelatedWork W2325569241 @default.
- W2950147497 hasRelatedWork W2784242401 @default.
- W2950147497 hasRelatedWork W2891992064 @default.
- W2950147497 hasRelatedWork W3100247314 @default.
- W2950147497 hasRelatedWork W404271873 @default.
- W2950147497 isParatext "false" @default.
- W2950147497 isRetracted "false" @default.
- W2950147497 magId "2950147497" @default.
- W2950147497 workType "article" @default.