Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186349051> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2186349051 endingPage "1343" @default.
- W2186349051 startingPage "1315" @default.
- W2186349051 abstract "Abstract We separate many of the basic fragments of classical logic which are used in reverse constructive mathematics. A group of related Kripke and topological models is used to show that various fragments of the Weak Law of the Excluded Middle, the Limited Principle of Omniscience, and Markov’s Principle, including Weak Markov’s Principle, do not imply each other." @default.
- W2186349051 created "2016-06-24" @default.
- W2186349051 creator A5027721938 @default.
- W2186349051 creator A5065261186 @default.
- W2186349051 date "2016-12-01" @default.
- W2186349051 modified "2023-10-18" @default.
- W2186349051 title "SEPARATING FRAGMENTS OF WLEM, LPO, AND MP" @default.
- W2186349051 cites W1485635270 @default.
- W2186349051 cites W149507330 @default.
- W2186349051 cites W1608607427 @default.
- W2186349051 cites W172736740 @default.
- W2186349051 cites W2005370739 @default.
- W2186349051 cites W2042151572 @default.
- W2186349051 cites W2045383980 @default.
- W2186349051 cites W2048994267 @default.
- W2186349051 cites W2052161854 @default.
- W2186349051 cites W2070244763 @default.
- W2186349051 cites W2074208814 @default.
- W2186349051 cites W2082330991 @default.
- W2186349051 cites W2092169546 @default.
- W2186349051 cites W2118041160 @default.
- W2186349051 cites W2129311016 @default.
- W2186349051 cites W2169019562 @default.
- W2186349051 cites W4229690001 @default.
- W2186349051 cites W969911513 @default.
- W2186349051 cites W981129589 @default.
- W2186349051 doi "https://doi.org/10.1017/jsl.2016.38" @default.
- W2186349051 hasPublicationYear "2016" @default.
- W2186349051 type Work @default.
- W2186349051 sameAs 2186349051 @default.
- W2186349051 citedByCount "7" @default.
- W2186349051 countsByYear W21863490512017 @default.
- W2186349051 countsByYear W21863490512018 @default.
- W2186349051 countsByYear W21863490512019 @default.
- W2186349051 countsByYear W21863490512020 @default.
- W2186349051 countsByYear W21863490512022 @default.
- W2186349051 crossrefType "journal-article" @default.
- W2186349051 hasAuthorship W2186349051A5027721938 @default.
- W2186349051 hasAuthorship W2186349051A5065261186 @default.
- W2186349051 hasConcept C105795698 @default.
- W2186349051 hasConcept C111472728 @default.
- W2186349051 hasConcept C111919701 @default.
- W2186349051 hasConcept C118615104 @default.
- W2186349051 hasConcept C138885662 @default.
- W2186349051 hasConcept C199343813 @default.
- W2186349051 hasConcept C202444582 @default.
- W2186349051 hasConcept C2776127325 @default.
- W2186349051 hasConcept C2777686260 @default.
- W2186349051 hasConcept C2778701210 @default.
- W2186349051 hasConcept C33923547 @default.
- W2186349051 hasConcept C41008148 @default.
- W2186349051 hasConcept C71924100 @default.
- W2186349051 hasConcept C98045186 @default.
- W2186349051 hasConcept C98763669 @default.
- W2186349051 hasConceptScore W2186349051C105795698 @default.
- W2186349051 hasConceptScore W2186349051C111472728 @default.
- W2186349051 hasConceptScore W2186349051C111919701 @default.
- W2186349051 hasConceptScore W2186349051C118615104 @default.
- W2186349051 hasConceptScore W2186349051C138885662 @default.
- W2186349051 hasConceptScore W2186349051C199343813 @default.
- W2186349051 hasConceptScore W2186349051C202444582 @default.
- W2186349051 hasConceptScore W2186349051C2776127325 @default.
- W2186349051 hasConceptScore W2186349051C2777686260 @default.
- W2186349051 hasConceptScore W2186349051C2778701210 @default.
- W2186349051 hasConceptScore W2186349051C33923547 @default.
- W2186349051 hasConceptScore W2186349051C41008148 @default.
- W2186349051 hasConceptScore W2186349051C71924100 @default.
- W2186349051 hasConceptScore W2186349051C98045186 @default.
- W2186349051 hasConceptScore W2186349051C98763669 @default.
- W2186349051 hasIssue "4" @default.
- W2186349051 hasLocation W21863490511 @default.
- W2186349051 hasOpenAccess W2186349051 @default.
- W2186349051 hasPrimaryLocation W21863490511 @default.
- W2186349051 hasRelatedWork W1985218657 @default.
- W2186349051 hasRelatedWork W2052115973 @default.
- W2186349051 hasRelatedWork W2083823079 @default.
- W2186349051 hasRelatedWork W2094392996 @default.
- W2186349051 hasRelatedWork W2096753949 @default.
- W2186349051 hasRelatedWork W2101182595 @default.
- W2186349051 hasRelatedWork W2357352049 @default.
- W2186349051 hasRelatedWork W3037547490 @default.
- W2186349051 hasRelatedWork W3106133691 @default.
- W2186349051 hasRelatedWork W4249580765 @default.
- W2186349051 hasVolume "81" @default.
- W2186349051 isParatext "false" @default.
- W2186349051 isRetracted "false" @default.
- W2186349051 magId "2186349051" @default.
- W2186349051 workType "article" @default.