Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091708223> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2091708223 endingPage "239" @default.
- W2091708223 startingPage "239" @default.
- W2091708223 abstract "We introduce a category of basic combinatorial objects, encompassing PCAs and locales. Such a basic combinatorial object is to be thought of as a pre-realizability notion. To each such object we can associate an indexed preorder, generalizing the construction of triposes for various notions of realizability. There are two main results: first, the characterization of triposes which arise in this way, in terms of ordered PCAs equipped with a filter. This will include “Effective Topos-like” triposes, but also the triposes for relative, modified and extensional realizability and the dialectica tripos. Localic triposes can be identified as those arising from ordered PCAs with a trivial filter. Second, we give a classification of geometric morphisms between such triposes in terms of maps of the underlying combinatorial objects. Altogether, this shows that the category of ordered PCAs with non-trivial filters serves as a framework for studying a wide variety of realizability notions." @default.
- W2091708223 created "2016-06-24" @default.
- W2091708223 creator A5029100470 @default.
- W2091708223 date "2006-09-01" @default.
- W2091708223 modified "2023-09-25" @default.
- W2091708223 title "All realizability is relative" @default.
- W2091708223 cites W1520893111 @default.
- W2091708223 cites W1594900487 @default.
- W2091708223 cites W1990564510 @default.
- W2091708223 cites W2011659388 @default.
- W2091708223 cites W2042945291 @default.
- W2091708223 cites W2043566933 @default.
- W2091708223 cites W2149565588 @default.
- W2091708223 doi "https://doi.org/10.1017/s0305004106009352" @default.
- W2091708223 hasPublicationYear "2006" @default.
- W2091708223 type Work @default.
- W2091708223 sameAs 2091708223 @default.
- W2091708223 citedByCount "26" @default.
- W2091708223 countsByYear W20917082232012 @default.
- W2091708223 countsByYear W20917082232013 @default.
- W2091708223 countsByYear W20917082232014 @default.
- W2091708223 countsByYear W20917082232015 @default.
- W2091708223 countsByYear W20917082232016 @default.
- W2091708223 countsByYear W20917082232018 @default.
- W2091708223 countsByYear W20917082232019 @default.
- W2091708223 countsByYear W20917082232020 @default.
- W2091708223 countsByYear W20917082232021 @default.
- W2091708223 countsByYear W20917082232023 @default.
- W2091708223 crossrefType "journal-article" @default.
- W2091708223 hasAuthorship W2091708223A5029100470 @default.
- W2091708223 hasBestOaLocation W20917082232 @default.
- W2091708223 hasConcept C199360897 @default.
- W2091708223 hasConcept C2776378722 @default.
- W2091708223 hasConcept C33923547 @default.
- W2091708223 hasConcept C41008148 @default.
- W2091708223 hasConceptScore W2091708223C199360897 @default.
- W2091708223 hasConceptScore W2091708223C2776378722 @default.
- W2091708223 hasConceptScore W2091708223C33923547 @default.
- W2091708223 hasConceptScore W2091708223C41008148 @default.
- W2091708223 hasIssue "02" @default.
- W2091708223 hasLocation W20917082231 @default.
- W2091708223 hasLocation W20917082232 @default.
- W2091708223 hasOpenAccess W2091708223 @default.
- W2091708223 hasPrimaryLocation W20917082231 @default.
- W2091708223 hasRelatedWork W1603488308 @default.
- W2091708223 hasRelatedWork W1857750633 @default.
- W2091708223 hasRelatedWork W2050090068 @default.
- W2091708223 hasRelatedWork W2136737082 @default.
- W2091708223 hasRelatedWork W2321910655 @default.
- W2091708223 hasRelatedWork W2331971360 @default.
- W2091708223 hasRelatedWork W2748952813 @default.
- W2091708223 hasRelatedWork W2899084033 @default.
- W2091708223 hasRelatedWork W2963958414 @default.
- W2091708223 hasRelatedWork W3173554384 @default.
- W2091708223 hasVolume "141" @default.
- W2091708223 isParatext "false" @default.
- W2091708223 isRetracted "false" @default.
- W2091708223 magId "2091708223" @default.
- W2091708223 workType "article" @default.