Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102365561> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3102365561 endingPage "510" @default.
- W3102365561 startingPage "458" @default.
- W3102365561 abstract "We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionistic and classical logic). The salient feature of this structure is that its elements can be seen both as truth values and as (generalized) realizers, thus blurring the frontier between proofs and types. We show that each implicative algebra induces a (Set-based) tripos, using a construction that is reminiscent from the construction of a realizability tripos from a partial combinatory algebra. Relating this construction with the corresponding constructions in forcing and realizability, we conclude that the class of implicative triposes encompass all forcing triposes (both intuitionistic and classical), all classical realizability triposes (in the sense of Krivine) and all intuitionistic realizability triposes built from partial combinatory algebras." @default.
- W3102365561 created "2020-11-23" @default.
- W3102365561 creator A5023882792 @default.
- W3102365561 date "2020-05-01" @default.
- W3102365561 modified "2023-10-02" @default.
- W3102365561 title "Implicative algebras: a new foundation for realizability and forcing" @default.
- W3102365561 cites W141536115 @default.
- W3102365561 cites W158226905 @default.
- W3102365561 cites W1970227944 @default.
- W3102365561 cites W1971613396 @default.
- W3102365561 cites W2043566933 @default.
- W3102365561 cites W2056300881 @default.
- W3102365561 cites W2078059387 @default.
- W3102365561 cites W2082631236 @default.
- W3102365561 cites W2096877663 @default.
- W3102365561 cites W2103385719 @default.
- W3102365561 cites W2115456387 @default.
- W3102365561 cites W2118238767 @default.
- W3102365561 cites W2132936218 @default.
- W3102365561 cites W2135287414 @default.
- W3102365561 cites W2149837936 @default.
- W3102365561 cites W2165267619 @default.
- W3102365561 cites W2167904762 @default.
- W3102365561 cites W2911865844 @default.
- W3102365561 cites W2912435880 @default.
- W3102365561 cites W2963271462 @default.
- W3102365561 cites W3098060485 @default.
- W3102365561 cites W3098320955 @default.
- W3102365561 cites W4213174560 @default.
- W3102365561 cites W4243933121 @default.
- W3102365561 doi "https://doi.org/10.1017/s0960129520000079" @default.
- W3102365561 hasPublicationYear "2020" @default.
- W3102365561 type Work @default.
- W3102365561 sameAs 3102365561 @default.
- W3102365561 citedByCount "7" @default.
- W3102365561 countsByYear W31023655612020 @default.
- W3102365561 countsByYear W31023655612021 @default.
- W3102365561 crossrefType "journal-article" @default.
- W3102365561 hasAuthorship W3102365561A5023882792 @default.
- W3102365561 hasBestOaLocation W31023655612 @default.
- W3102365561 hasConcept C108710211 @default.
- W3102365561 hasConcept C11413529 @default.
- W3102365561 hasConcept C118615104 @default.
- W3102365561 hasConcept C134306372 @default.
- W3102365561 hasConcept C136119220 @default.
- W3102365561 hasConcept C154945302 @default.
- W3102365561 hasConcept C178421362 @default.
- W3102365561 hasConcept C197115733 @default.
- W3102365561 hasConcept C202444582 @default.
- W3102365561 hasConcept C2524010 @default.
- W3102365561 hasConcept C2776378722 @default.
- W3102365561 hasConcept C2780719617 @default.
- W3102365561 hasConcept C28077239 @default.
- W3102365561 hasConcept C33923547 @default.
- W3102365561 hasConcept C41008148 @default.
- W3102365561 hasConceptScore W3102365561C108710211 @default.
- W3102365561 hasConceptScore W3102365561C11413529 @default.
- W3102365561 hasConceptScore W3102365561C118615104 @default.
- W3102365561 hasConceptScore W3102365561C134306372 @default.
- W3102365561 hasConceptScore W3102365561C136119220 @default.
- W3102365561 hasConceptScore W3102365561C154945302 @default.
- W3102365561 hasConceptScore W3102365561C178421362 @default.
- W3102365561 hasConceptScore W3102365561C197115733 @default.
- W3102365561 hasConceptScore W3102365561C202444582 @default.
- W3102365561 hasConceptScore W3102365561C2524010 @default.
- W3102365561 hasConceptScore W3102365561C2776378722 @default.
- W3102365561 hasConceptScore W3102365561C2780719617 @default.
- W3102365561 hasConceptScore W3102365561C28077239 @default.
- W3102365561 hasConceptScore W3102365561C33923547 @default.
- W3102365561 hasConceptScore W3102365561C41008148 @default.
- W3102365561 hasIssue "5" @default.
- W3102365561 hasLocation W31023655611 @default.
- W3102365561 hasLocation W31023655612 @default.
- W3102365561 hasLocation W31023655613 @default.
- W3102365561 hasOpenAccess W3102365561 @default.
- W3102365561 hasPrimaryLocation W31023655611 @default.
- W3102365561 hasRelatedWork W1856816820 @default.
- W3102365561 hasRelatedWork W2010113673 @default.
- W3102365561 hasRelatedWork W2111069606 @default.
- W3102365561 hasRelatedWork W2165506927 @default.
- W3102365561 hasRelatedWork W2799007918 @default.
- W3102365561 hasRelatedWork W2901510764 @default.
- W3102365561 hasRelatedWork W2950205384 @default.
- W3102365561 hasRelatedWork W2955195568 @default.
- W3102365561 hasRelatedWork W3102365561 @default.
- W3102365561 hasRelatedWork W411785630 @default.
- W3102365561 hasVolume "30" @default.
- W3102365561 isParatext "false" @default.
- W3102365561 isRetracted "false" @default.
- W3102365561 magId "3102365561" @default.
- W3102365561 workType "article" @default.