FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006582179> ?p ?o ?g. }

• W3006582179 endingPage "102788" @default.
• W3006582179 startingPage "102788" @default.
• W3006582179 abstract "We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to prove Pincherle's theorem, does not have an unique or unambiguous answer, in contrast to compactness. We establish similar differences for the computational properties of compactness and Pincherle's theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle's theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindelöf lemma." @default.
• W3006582179 created "2020-02-24" @default.
• W3006582179 creator A5007539743 @default.
• W3006582179 creator A5073669576 @default.
• W3006582179 date "2020-05-01" @default.
• W3006582179 modified "2023-10-01" @default.
• W3006582179 title "Pincherle's theorem in reverse mathematics and computability theory" @default.
• W3006582179 cites W1497909866 @default.
• W3006582179 cites W1507744378 @default.
• W3006582179 cites W1806511677 @default.
• W3006582179 cites W1938681473 @default.
• W3006582179 cites W1965991130 @default.
• W3006582179 cites W1984505680 @default.
• W3006582179 cites W2003353529 @default.
• W3006582179 cites W2017523153 @default.
• W3006582179 cites W2025471791 @default.
• W3006582179 cites W2025592531 @default.
• W3006582179 cites W2030879102 @default.
• W3006582179 cites W2045199616 @default.
• W3006582179 cites W2089230867 @default.
• W3006582179 cites W2092413824 @default.
• W3006582179 cites W2099102402 @default.
• W3006582179 cites W2151541935 @default.
• W3006582179 cites W2170311001 @default.
• W3006582179 cites W2229732917 @default.
• W3006582179 cites W2293460502 @default.
• W3006582179 cites W2324237655 @default.
• W3006582179 cites W2615066822 @default.
• W3006582179 cites W2962786850 @default.
• W3006582179 cites W2963693343 @default.
• W3006582179 cites W2986874988 @default.
• W3006582179 cites W2995569045 @default.
• W3006582179 cites W3102702461 @default.
• W3006582179 cites W3103808306 @default.
• W3006582179 cites W4229690001 @default.
• W3006582179 cites W4256493180 @default.
• W3006582179 cites W4296119740 @default.
• W3006582179 cites W4300052396 @default.
• W3006582179 doi "https://doi.org/10.1016/j.apal.2020.102788" @default.
• W3006582179 hasPublicationYear "2020" @default.
• W3006582179 type Work @default.
• W3006582179 sameAs 3006582179 @default.
• W3006582179 citedByCount "18" @default.
• W3006582179 countsByYear W30065821792019 @default.
• W3006582179 countsByYear W30065821792020 @default.
• W3006582179 countsByYear W30065821792021 @default.
• W3006582179 countsByYear W30065821792022 @default.
• W3006582179 countsByYear W30065821792023 @default.
• W3006582179 crossrefType "journal-article" @default.
• W3006582179 hasAuthorship W3006582179A5007539743 @default.
• W3006582179 hasAuthorship W3006582179A5073669576 @default.
• W3006582179 hasBestOaLocation W30065821792 @default.
• W3006582179 hasConcept C110729354 @default.
• W3006582179 hasConcept C111142201 @default.
• W3006582179 hasConcept C118615104 @default.
• W3006582179 hasConcept C127753061 @default.
• W3006582179 hasConcept C134306372 @default.
• W3006582179 hasConcept C142399903 @default.
• W3006582179 hasConcept C152062344 @default.
• W3006582179 hasConcept C153046414 @default.
• W3006582179 hasConcept C167729594 @default.
• W3006582179 hasConcept C171636804 @default.
• W3006582179 hasConcept C177264268 @default.
• W3006582179 hasConcept C18648836 @default.
• W3006582179 hasConcept C18903297 @default.
• W3006582179 hasConcept C194886279 @default.
• W3006582179 hasConcept C199360897 @default.
• W3006582179 hasConcept C202444582 @default.
• W3006582179 hasConcept C2524010 @default.
• W3006582179 hasConcept C2777759810 @default.
• W3006582179 hasConcept C33923547 @default.
• W3006582179 hasConcept C34388435 @default.
• W3006582179 hasConcept C41008148 @default.
• W3006582179 hasConcept C45962547 @default.
• W3006582179 hasConcept C46757340 @default.
• W3006582179 hasConcept C86803240 @default.
• W3006582179 hasConceptScore W3006582179C110729354 @default.
• W3006582179 hasConceptScore W3006582179C111142201 @default.
• W3006582179 hasConceptScore W3006582179C118615104 @default.
• W3006582179 hasConceptScore W3006582179C127753061 @default.
• W3006582179 hasConceptScore W3006582179C134306372 @default.
• W3006582179 hasConceptScore W3006582179C142399903 @default.
• W3006582179 hasConceptScore W3006582179C152062344 @default.
• W3006582179 hasConceptScore W3006582179C153046414 @default.
• W3006582179 hasConceptScore W3006582179C167729594 @default.
• W3006582179 hasConceptScore W3006582179C171636804 @default.
• W3006582179 hasConceptScore W3006582179C177264268 @default.
• W3006582179 hasConceptScore W3006582179C18648836 @default.
• W3006582179 hasConceptScore W3006582179C18903297 @default.
• W3006582179 hasConceptScore W3006582179C194886279 @default.
• W3006582179 hasConceptScore W3006582179C199360897 @default.
• W3006582179 hasConceptScore W3006582179C202444582 @default.
• W3006582179 hasConceptScore W3006582179C2524010 @default.
• W3006582179 hasConceptScore W3006582179C2777759810 @default.
• W3006582179 hasConceptScore W3006582179C33923547 @default.
• W3006582179 hasConceptScore W3006582179C34388435 @default.
• W3006582179 hasConceptScore W3006582179C41008148 @default.
• W3006582179 hasConceptScore W3006582179C45962547 @default.

• next