Matches in SemOpenAlex for { <https://semopenalex.org/work/W3192311488> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3192311488 abstract "Brouwer's fan theorem states that every bar is a uniform bar. We give an overview of the status of this axiom in Bishop's constructive mathematics. In particular, we describe the relationship between the fan theorem, the weak Konig lemma, and the uniform continuity theorem." @default.
- W3192311488 created "2021-08-16" @default.
- W3192311488 creator A5024195933 @default.
- W3192311488 date "2019-12-31" @default.
- W3192311488 modified "2023-09-27" @default.
- W3192311488 title "Brouwer's fan theorem" @default.
- W3192311488 cites W1590304156 @default.
- W3192311488 cites W1594842385 @default.
- W3192311488 cites W1979862983 @default.
- W3192311488 cites W1985626396 @default.
- W3192311488 cites W2031766793 @default.
- W3192311488 cites W2062677359 @default.
- W3192311488 cites W2072755421 @default.
- W3192311488 cites W2134101218 @default.
- W3192311488 cites W2741308551 @default.
- W3192311488 cites W2905758547 @default.
- W3192311488 cites W2981410077 @default.
- W3192311488 hasPublicationYear "2019" @default.
- W3192311488 type Work @default.
- W3192311488 sameAs 3192311488 @default.
- W3192311488 citedByCount "0" @default.
- W3192311488 crossrefType "posted-content" @default.
- W3192311488 hasAuthorship W3192311488A5024195933 @default.
- W3192311488 hasConcept C111919701 @default.
- W3192311488 hasConcept C118615104 @default.
- W3192311488 hasConcept C121332964 @default.
- W3192311488 hasConcept C146147875 @default.
- W3192311488 hasConcept C151797676 @default.
- W3192311488 hasConcept C153046414 @default.
- W3192311488 hasConcept C153294291 @default.
- W3192311488 hasConcept C167729594 @default.
- W3192311488 hasConcept C177264268 @default.
- W3192311488 hasConcept C188721877 @default.
- W3192311488 hasConcept C18903297 @default.
- W3192311488 hasConcept C199360897 @default.
- W3192311488 hasConcept C202444582 @default.
- W3192311488 hasConcept C206929604 @default.
- W3192311488 hasConcept C2524010 @default.
- W3192311488 hasConcept C2777759810 @default.
- W3192311488 hasConcept C2778701210 @default.
- W3192311488 hasConcept C33923547 @default.
- W3192311488 hasConcept C41008148 @default.
- W3192311488 hasConcept C45962547 @default.
- W3192311488 hasConcept C46757340 @default.
- W3192311488 hasConcept C86803240 @default.
- W3192311488 hasConcept C98045186 @default.
- W3192311488 hasConceptScore W3192311488C111919701 @default.
- W3192311488 hasConceptScore W3192311488C118615104 @default.
- W3192311488 hasConceptScore W3192311488C121332964 @default.
- W3192311488 hasConceptScore W3192311488C146147875 @default.
- W3192311488 hasConceptScore W3192311488C151797676 @default.
- W3192311488 hasConceptScore W3192311488C153046414 @default.
- W3192311488 hasConceptScore W3192311488C153294291 @default.
- W3192311488 hasConceptScore W3192311488C167729594 @default.
- W3192311488 hasConceptScore W3192311488C177264268 @default.
- W3192311488 hasConceptScore W3192311488C188721877 @default.
- W3192311488 hasConceptScore W3192311488C18903297 @default.
- W3192311488 hasConceptScore W3192311488C199360897 @default.
- W3192311488 hasConceptScore W3192311488C202444582 @default.
- W3192311488 hasConceptScore W3192311488C206929604 @default.
- W3192311488 hasConceptScore W3192311488C2524010 @default.
- W3192311488 hasConceptScore W3192311488C2777759810 @default.
- W3192311488 hasConceptScore W3192311488C2778701210 @default.
- W3192311488 hasConceptScore W3192311488C33923547 @default.
- W3192311488 hasConceptScore W3192311488C41008148 @default.
- W3192311488 hasConceptScore W3192311488C45962547 @default.
- W3192311488 hasConceptScore W3192311488C46757340 @default.
- W3192311488 hasConceptScore W3192311488C86803240 @default.
- W3192311488 hasConceptScore W3192311488C98045186 @default.
- W3192311488 hasLocation W31923114881 @default.
- W3192311488 hasOpenAccess W3192311488 @default.
- W3192311488 hasPrimaryLocation W31923114881 @default.
- W3192311488 hasRelatedWork W125466210 @default.
- W3192311488 hasRelatedWork W2008656265 @default.
- W3192311488 hasRelatedWork W2021238116 @default.
- W3192311488 hasRelatedWork W2029096706 @default.
- W3192311488 hasRelatedWork W2062677359 @default.
- W3192311488 hasRelatedWork W2067692877 @default.
- W3192311488 hasRelatedWork W2075666533 @default.
- W3192311488 hasRelatedWork W2084312524 @default.
- W3192311488 hasRelatedWork W2088132992 @default.
- W3192311488 hasRelatedWork W2091895320 @default.
- W3192311488 hasRelatedWork W2152875384 @default.
- W3192311488 hasRelatedWork W2483392579 @default.
- W3192311488 hasRelatedWork W2485802141 @default.
- W3192311488 hasRelatedWork W2496567156 @default.
- W3192311488 hasRelatedWork W2734891657 @default.
- W3192311488 hasRelatedWork W3160581193 @default.
- W3192311488 hasRelatedWork W32370351 @default.
- W3192311488 hasRelatedWork W563874685 @default.
- W3192311488 hasRelatedWork W932816950 @default.
- W3192311488 hasRelatedWork W2806119462 @default.
- W3192311488 isParatext "false" @default.
- W3192311488 isRetracted "false" @default.
- W3192311488 magId "3192311488" @default.
- W3192311488 workType "article" @default.