Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300961286> ?p ?o ?g. }
- W4300961286 endingPage "51" @default.
- W4300961286 startingPage "1" @default.
- W4300961286 abstract "Abstract Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is to identify the minimal axioms needed to prove a given theorem from ordinary, i.e., non-set theoretic, mathematics. This program has unveiled surprising regularities: the minimal axioms are very often equivalent to the theorem over the base theory , a weak system of ‘computable mathematics’, while most theorems are either provable in this base theory, or equivalent to one of only four logical systems. The latter plus the base theory are called the ‘Big Five’ and the associated equivalences are robust following Montalbán, i.e., stable under small variations of the theorems at hand. Working in Kohlenbach’s higher - order RM, we obtain two new and long series of equivalences based on theorems due to Bolzano, Weierstrass, Jordan, and Cantor; these equivalences are extremely robust and have no counterpart among the Big Five systems. Thus, higher-order RM is much richer than its second-order cousin, boasting at least two extra ‘Big’ systems." @default.
- W4300961286 created "2022-10-04" @default.
- W4300961286 creator A5007539743 @default.
- W4300961286 creator A5073669576 @default.
- W4300961286 date "2022-10-03" @default.
- W4300961286 modified "2023-10-18" @default.
- W4300961286 title "ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR" @default.
- W4300961286 cites W108499889 @default.
- W4300961286 cites W1461407349 @default.
- W4300961286 cites W1485672136 @default.
- W4300961286 cites W1505480266 @default.
- W4300961286 cites W1507744378 @default.
- W4300961286 cites W1608607427 @default.
- W4300961286 cites W1813666868 @default.
- W4300961286 cites W1938681473 @default.
- W4300961286 cites W1972493611 @default.
- W4300961286 cites W1984505680 @default.
- W4300961286 cites W2013913596 @default.
- W4300961286 cites W2014809341 @default.
- W4300961286 cites W2022242473 @default.
- W4300961286 cites W2045199616 @default.
- W4300961286 cites W2060878518 @default.
- W4300961286 cites W2066786168 @default.
- W4300961286 cites W2081624356 @default.
- W4300961286 cites W2087831814 @default.
- W4300961286 cites W2089230867 @default.
- W4300961286 cites W2089902858 @default.
- W4300961286 cites W2108709315 @default.
- W4300961286 cites W2117109310 @default.
- W4300961286 cites W2170311001 @default.
- W4300961286 cites W2229732917 @default.
- W4300961286 cites W2293460502 @default.
- W4300961286 cites W2328733298 @default.
- W4300961286 cites W2962786850 @default.
- W4300961286 cites W2963693343 @default.
- W4300961286 cites W2976248141 @default.
- W4300961286 cites W2996643842 @default.
- W4300961286 cites W3006582179 @default.
- W4300961286 cites W3090093830 @default.
- W4300961286 cites W3102702461 @default.
- W4300961286 cites W3103808306 @default.
- W4300961286 cites W3119916969 @default.
- W4300961286 cites W3128260604 @default.
- W4300961286 cites W3197871941 @default.
- W4300961286 cites W3199074435 @default.
- W4300961286 cites W4226517410 @default.
- W4300961286 cites W4229690001 @default.
- W4300961286 cites W4231591585 @default.
- W4300961286 cites W4240169556 @default.
- W4300961286 cites W4241642048 @default.
- W4300961286 cites W4244520098 @default.
- W4300961286 cites W4256195314 @default.
- W4300961286 cites W4283687586 @default.
- W4300961286 cites W602306650 @default.
- W4300961286 doi "https://doi.org/10.1017/jsl.2022.71" @default.
- W4300961286 hasPublicationYear "2022" @default.
- W4300961286 type Work @default.
- W4300961286 citedByCount "5" @default.
- W4300961286 countsByYear W43009612862021 @default.
- W4300961286 countsByYear W43009612862022 @default.
- W4300961286 countsByYear W43009612862023 @default.
- W4300961286 crossrefType "journal-article" @default.
- W4300961286 hasAuthorship W4300961286A5007539743 @default.
- W4300961286 hasAuthorship W4300961286A5073669576 @default.
- W4300961286 hasConcept C10138342 @default.
- W4300961286 hasConcept C118615104 @default.
- W4300961286 hasConcept C127753061 @default.
- W4300961286 hasConcept C134306372 @default.
- W4300961286 hasConcept C136119220 @default.
- W4300961286 hasConcept C153046414 @default.
- W4300961286 hasConcept C162324750 @default.
- W4300961286 hasConcept C167729594 @default.
- W4300961286 hasConcept C177264268 @default.
- W4300961286 hasConcept C182306322 @default.
- W4300961286 hasConcept C199360897 @default.
- W4300961286 hasConcept C202444582 @default.
- W4300961286 hasConcept C2524010 @default.
- W4300961286 hasConcept C33923547 @default.
- W4300961286 hasConcept C41008148 @default.
- W4300961286 hasConcept C42058472 @default.
- W4300961286 hasConcept C65148605 @default.
- W4300961286 hasConcept C97489613 @default.
- W4300961286 hasConceptScore W4300961286C10138342 @default.
- W4300961286 hasConceptScore W4300961286C118615104 @default.
- W4300961286 hasConceptScore W4300961286C127753061 @default.
- W4300961286 hasConceptScore W4300961286C134306372 @default.
- W4300961286 hasConceptScore W4300961286C136119220 @default.
- W4300961286 hasConceptScore W4300961286C153046414 @default.
- W4300961286 hasConceptScore W4300961286C162324750 @default.
- W4300961286 hasConceptScore W4300961286C167729594 @default.
- W4300961286 hasConceptScore W4300961286C177264268 @default.
- W4300961286 hasConceptScore W4300961286C182306322 @default.
- W4300961286 hasConceptScore W4300961286C199360897 @default.
- W4300961286 hasConceptScore W4300961286C202444582 @default.
- W4300961286 hasConceptScore W4300961286C2524010 @default.
- W4300961286 hasConceptScore W4300961286C33923547 @default.
- W4300961286 hasConceptScore W4300961286C41008148 @default.
- W4300961286 hasConceptScore W4300961286C42058472 @default.