Matches in SemOpenAlex for { <https://semopenalex.org/work/W2075508713> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2075508713 endingPage "1589" @default.
- W2075508713 startingPage "1578" @default.
- W2075508713 abstract "We show that the following instance of the principle of excluded middle holds: any function on the one-point compactification of the natural numbers with values on the natural numbers is either classically continuous or classically discontinuous. The proof does not require choice and can be understood in any of the usual varieties of constructive mathematics. Classical (dis)continuity is a weakening of the notion of (dis)continuity, where the existential quantifiers are replaced by negated universal quantifiers. We also show that the classical continuity of all functions is equivalent to the negation of the weak limited principle of omniscience. We use this to relate uniform continuity and searchability of the Cantor space." @default.
- W2075508713 created "2016-06-24" @default.
- W2075508713 creator A5050767630 @default.
- W2075508713 date "2014-12-23" @default.
- W2075508713 modified "2023-09-23" @default.
- W2075508713 title "Constructive decidability of classical continuity" @default.
- W2075508713 cites W126568045 @default.
- W2075508713 cites W1590304156 @default.
- W2075508713 cites W1975572797 @default.
- W2075508713 cites W2049268966 @default.
- W2075508713 cites W2111656596 @default.
- W2075508713 cites W2120450003 @default.
- W2075508713 doi "https://doi.org/10.1017/s096012951300042x" @default.
- W2075508713 hasPublicationYear "2014" @default.
- W2075508713 type Work @default.
- W2075508713 sameAs 2075508713 @default.
- W2075508713 citedByCount "3" @default.
- W2075508713 countsByYear W20755087132018 @default.
- W2075508713 countsByYear W20755087132021 @default.
- W2075508713 countsByYear W20755087132023 @default.
- W2075508713 crossrefType "journal-article" @default.
- W2075508713 hasAuthorship W2075508713A5050767630 @default.
- W2075508713 hasBestOaLocation W20755087132 @default.
- W2075508713 hasConcept C111472728 @default.
- W2075508713 hasConcept C111919701 @default.
- W2075508713 hasConcept C118615104 @default.
- W2075508713 hasConcept C137155000 @default.
- W2075508713 hasConcept C138885662 @default.
- W2075508713 hasConcept C153269930 @default.
- W2075508713 hasConcept C184264201 @default.
- W2075508713 hasConcept C199343813 @default.
- W2075508713 hasConcept C199360897 @default.
- W2075508713 hasConcept C202444582 @default.
- W2075508713 hasConcept C2185349 @default.
- W2075508713 hasConcept C2776127325 @default.
- W2075508713 hasConcept C2777686260 @default.
- W2075508713 hasConcept C2778701210 @default.
- W2075508713 hasConcept C2779165322 @default.
- W2075508713 hasConcept C33923547 @default.
- W2075508713 hasConcept C41008148 @default.
- W2075508713 hasConcept C71924100 @default.
- W2075508713 hasConcept C98045186 @default.
- W2075508713 hasConceptScore W2075508713C111472728 @default.
- W2075508713 hasConceptScore W2075508713C111919701 @default.
- W2075508713 hasConceptScore W2075508713C118615104 @default.
- W2075508713 hasConceptScore W2075508713C137155000 @default.
- W2075508713 hasConceptScore W2075508713C138885662 @default.
- W2075508713 hasConceptScore W2075508713C153269930 @default.
- W2075508713 hasConceptScore W2075508713C184264201 @default.
- W2075508713 hasConceptScore W2075508713C199343813 @default.
- W2075508713 hasConceptScore W2075508713C199360897 @default.
- W2075508713 hasConceptScore W2075508713C202444582 @default.
- W2075508713 hasConceptScore W2075508713C2185349 @default.
- W2075508713 hasConceptScore W2075508713C2776127325 @default.
- W2075508713 hasConceptScore W2075508713C2777686260 @default.
- W2075508713 hasConceptScore W2075508713C2778701210 @default.
- W2075508713 hasConceptScore W2075508713C2779165322 @default.
- W2075508713 hasConceptScore W2075508713C33923547 @default.
- W2075508713 hasConceptScore W2075508713C41008148 @default.
- W2075508713 hasConceptScore W2075508713C71924100 @default.
- W2075508713 hasConceptScore W2075508713C98045186 @default.
- W2075508713 hasIssue "7" @default.
- W2075508713 hasLocation W20755087131 @default.
- W2075508713 hasLocation W20755087132 @default.
- W2075508713 hasOpenAccess W2075508713 @default.
- W2075508713 hasPrimaryLocation W20755087131 @default.
- W2075508713 hasRelatedWork W2075508713 @default.
- W2075508713 hasRelatedWork W2096753949 @default.
- W2075508713 hasRelatedWork W2153670894 @default.
- W2075508713 hasRelatedWork W2236115101 @default.
- W2075508713 hasRelatedWork W2257556367 @default.
- W2075508713 hasRelatedWork W2338951416 @default.
- W2075508713 hasRelatedWork W2374320758 @default.
- W2075508713 hasRelatedWork W2963542726 @default.
- W2075508713 hasRelatedWork W4245024105 @default.
- W2075508713 hasRelatedWork W4300535260 @default.
- W2075508713 hasVolume "25" @default.
- W2075508713 isParatext "false" @default.
- W2075508713 isRetracted "false" @default.
- W2075508713 magId "2075508713" @default.
- W2075508713 workType "article" @default.