Matches in SemOpenAlex for { <https://semopenalex.org/work/W2944118927> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2944118927 abstract "We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class of finite trees. The same results follow for CZF." @default.
- W2944118927 created "2019-05-16" @default.
- W2944118927 creator A5083091513 @default.
- W2944118927 date "2019-05-13" @default.
- W2944118927 modified "2023-09-27" @default.
- W2944118927 title "De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory" @default.
- W2944118927 cites W1970635105 @default.
- W2944118927 cites W2145724981 @default.
- W2944118927 cites W2295008513 @default.
- W2944118927 cites W2963036596 @default.
- W2944118927 hasPublicationYear "2019" @default.
- W2944118927 type Work @default.
- W2944118927 sameAs 2944118927 @default.
- W2944118927 citedByCount "0" @default.
- W2944118927 crossrefType "posted-content" @default.
- W2944118927 hasAuthorship W2944118927A5083091513 @default.
- W2944118927 hasConcept C102993220 @default.
- W2944118927 hasConcept C110039528 @default.
- W2944118927 hasConcept C111472728 @default.
- W2944118927 hasConcept C118615104 @default.
- W2944118927 hasConcept C138885662 @default.
- W2944118927 hasConcept C14523651 @default.
- W2944118927 hasConcept C151797676 @default.
- W2944118927 hasConcept C153046414 @default.
- W2944118927 hasConcept C154945302 @default.
- W2944118927 hasConcept C177264268 @default.
- W2944118927 hasConcept C178421362 @default.
- W2944118927 hasConcept C189950617 @default.
- W2944118927 hasConcept C191222856 @default.
- W2944118927 hasConcept C199343813 @default.
- W2944118927 hasConcept C199360897 @default.
- W2944118927 hasConcept C203659156 @default.
- W2944118927 hasConcept C2777212361 @default.
- W2944118927 hasConcept C2777686260 @default.
- W2944118927 hasConcept C33203268 @default.
- W2944118927 hasConcept C33923547 @default.
- W2944118927 hasConcept C41008148 @default.
- W2944118927 hasConcept C51460 @default.
- W2944118927 hasConcept C69562738 @default.
- W2944118927 hasConcept C71924100 @default.
- W2944118927 hasConceptScore W2944118927C102993220 @default.
- W2944118927 hasConceptScore W2944118927C110039528 @default.
- W2944118927 hasConceptScore W2944118927C111472728 @default.
- W2944118927 hasConceptScore W2944118927C118615104 @default.
- W2944118927 hasConceptScore W2944118927C138885662 @default.
- W2944118927 hasConceptScore W2944118927C14523651 @default.
- W2944118927 hasConceptScore W2944118927C151797676 @default.
- W2944118927 hasConceptScore W2944118927C153046414 @default.
- W2944118927 hasConceptScore W2944118927C154945302 @default.
- W2944118927 hasConceptScore W2944118927C177264268 @default.
- W2944118927 hasConceptScore W2944118927C178421362 @default.
- W2944118927 hasConceptScore W2944118927C189950617 @default.
- W2944118927 hasConceptScore W2944118927C191222856 @default.
- W2944118927 hasConceptScore W2944118927C199343813 @default.
- W2944118927 hasConceptScore W2944118927C199360897 @default.
- W2944118927 hasConceptScore W2944118927C203659156 @default.
- W2944118927 hasConceptScore W2944118927C2777212361 @default.
- W2944118927 hasConceptScore W2944118927C2777686260 @default.
- W2944118927 hasConceptScore W2944118927C33203268 @default.
- W2944118927 hasConceptScore W2944118927C33923547 @default.
- W2944118927 hasConceptScore W2944118927C41008148 @default.
- W2944118927 hasConceptScore W2944118927C51460 @default.
- W2944118927 hasConceptScore W2944118927C69562738 @default.
- W2944118927 hasConceptScore W2944118927C71924100 @default.
- W2944118927 hasLocation W29441189271 @default.
- W2944118927 hasOpenAccess W2944118927 @default.
- W2944118927 hasPrimaryLocation W29441189271 @default.
- W2944118927 hasRelatedWork W1501677455 @default.
- W2944118927 hasRelatedWork W1506561761 @default.
- W2944118927 hasRelatedWork W1678894354 @default.
- W2944118927 hasRelatedWork W2048994267 @default.
- W2944118927 hasRelatedWork W2062971860 @default.
- W2944118927 hasRelatedWork W2080463847 @default.
- W2944118927 hasRelatedWork W2095552684 @default.
- W2944118927 hasRelatedWork W2127050211 @default.
- W2944118927 hasRelatedWork W2144925863 @default.
- W2944118927 hasRelatedWork W2171090910 @default.
- W2944118927 hasRelatedWork W2184205866 @default.
- W2944118927 hasRelatedWork W2188203153 @default.
- W2944118927 hasRelatedWork W2773796638 @default.
- W2944118927 hasRelatedWork W2774125772 @default.
- W2944118927 hasRelatedWork W2799794780 @default.
- W2944118927 hasRelatedWork W3125454179 @default.
- W2944118927 hasRelatedWork W3172049250 @default.
- W2944118927 hasRelatedWork W630752320 @default.
- W2944118927 hasRelatedWork W997000086 @default.
- W2944118927 hasRelatedWork W2104312161 @default.
- W2944118927 isParatext "false" @default.
- W2944118927 isRetracted "false" @default.
- W2944118927 magId "2944118927" @default.
- W2944118927 workType "article" @default.