Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241361262> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4241361262 endingPage "1509" @default.
- W4241361262 startingPage "1484" @default.
- W4241361262 abstract "Abstract Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Earlier work showed all of these implications to be strict. Here we reprove one of the strictness results, using very different arguments. The technique used is a mixture of realizability, forcing in the guise of Heyting-valued models, and Kripke models." @default.
- W4241361262 created "2022-05-12" @default.
- W4241361262 creator A5027721938 @default.
- W4241361262 date "2019-07-25" @default.
- W4241361262 modified "2023-09-30" @default.
- W4241361262 title "SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II" @default.
- W4241361262 cites W126568045 @default.
- W4241361262 cites W1549816801 @default.
- W4241361262 cites W1557351111 @default.
- W4241361262 cites W19739292 @default.
- W4241361262 cites W1979207178 @default.
- W4241361262 cites W2002542640 @default.
- W4241361262 cites W2026246736 @default.
- W4241361262 cites W2052161854 @default.
- W4241361262 cites W2091208636 @default.
- W4241361262 cites W2963036596 @default.
- W4241361262 cites W4236765684 @default.
- W4241361262 doi "https://doi.org/10.1017/jsl.2019.1" @default.
- W4241361262 hasPublicationYear "2019" @default.
- W4241361262 type Work @default.
- W4241361262 citedByCount "1" @default.
- W4241361262 countsByYear W42413612622022 @default.
- W4241361262 crossrefType "journal-article" @default.
- W4241361262 hasAuthorship W4241361262A5027721938 @default.
- W4241361262 hasConcept C11413529 @default.
- W4241361262 hasConcept C118615104 @default.
- W4241361262 hasConcept C134306372 @default.
- W4241361262 hasConcept C136119220 @default.
- W4241361262 hasConcept C144237770 @default.
- W4241361262 hasConcept C17744445 @default.
- W4241361262 hasConcept C178421362 @default.
- W4241361262 hasConcept C197115733 @default.
- W4241361262 hasConcept C199343813 @default.
- W4241361262 hasConcept C199360897 @default.
- W4241361262 hasConcept C199539241 @default.
- W4241361262 hasConcept C202444582 @default.
- W4241361262 hasConcept C2776378722 @default.
- W4241361262 hasConcept C2777686260 @default.
- W4241361262 hasConcept C2778701210 @default.
- W4241361262 hasConcept C31170391 @default.
- W4241361262 hasConcept C33923547 @default.
- W4241361262 hasConcept C41008148 @default.
- W4241361262 hasConcept C69562738 @default.
- W4241361262 hasConcept C71924100 @default.
- W4241361262 hasConcept C98045186 @default.
- W4241361262 hasConceptScore W4241361262C11413529 @default.
- W4241361262 hasConceptScore W4241361262C118615104 @default.
- W4241361262 hasConceptScore W4241361262C134306372 @default.
- W4241361262 hasConceptScore W4241361262C136119220 @default.
- W4241361262 hasConceptScore W4241361262C144237770 @default.
- W4241361262 hasConceptScore W4241361262C17744445 @default.
- W4241361262 hasConceptScore W4241361262C178421362 @default.
- W4241361262 hasConceptScore W4241361262C197115733 @default.
- W4241361262 hasConceptScore W4241361262C199343813 @default.
- W4241361262 hasConceptScore W4241361262C199360897 @default.
- W4241361262 hasConceptScore W4241361262C199539241 @default.
- W4241361262 hasConceptScore W4241361262C202444582 @default.
- W4241361262 hasConceptScore W4241361262C2776378722 @default.
- W4241361262 hasConceptScore W4241361262C2777686260 @default.
- W4241361262 hasConceptScore W4241361262C2778701210 @default.
- W4241361262 hasConceptScore W4241361262C31170391 @default.
- W4241361262 hasConceptScore W4241361262C33923547 @default.
- W4241361262 hasConceptScore W4241361262C41008148 @default.
- W4241361262 hasConceptScore W4241361262C69562738 @default.
- W4241361262 hasConceptScore W4241361262C71924100 @default.
- W4241361262 hasConceptScore W4241361262C98045186 @default.
- W4241361262 hasIssue "4" @default.
- W4241361262 hasLocation W42413612621 @default.
- W4241361262 hasOpenAccess W4241361262 @default.
- W4241361262 hasPrimaryLocation W42413612621 @default.
- W4241361262 hasRelatedWork W22890234 @default.
- W4241361262 hasRelatedWork W235398 @default.
- W4241361262 hasRelatedWork W24230205 @default.
- W4241361262 hasRelatedWork W29230378 @default.
- W4241361262 hasRelatedWork W50867821 @default.
- W4241361262 hasRelatedWork W53141535 @default.
- W4241361262 hasRelatedWork W63021309 @default.
- W4241361262 hasRelatedWork W63349677 @default.
- W4241361262 hasRelatedWork W93147055 @default.
- W4241361262 hasRelatedWork W9625168 @default.
- W4241361262 hasVolume "84" @default.
- W4241361262 isParatext "false" @default.
- W4241361262 isRetracted "false" @default.
- W4241361262 workType "article" @default.