Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103244827> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2103244827 endingPage "895" @default.
- W2103244827 startingPage "874" @default.
- W2103244827 abstract "Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the computationally dense ones) are seen to be the ones whose 'lifts' to a kind of completion have right adjoints. We characterize topos inclusions corresponding to a general form of relative computability. We characterize pcas whose realizability topos admits a geometric morphism to the eective" @default.
- W2103244827 created "2016-06-24" @default.
- W2103244827 creator A5004969380 @default.
- W2103244827 creator A5005056951 @default.
- W2103244827 date "2014-08-01" @default.
- W2103244827 modified "2023-09-25" @default.
- W2103244827 title "More on Geometric Morphisms between Realizability Toposes" @default.
- W2103244827 cites W1605765292 @default.
- W2103244827 cites W1977755268 @default.
- W2103244827 cites W1990564510 @default.
- W2103244827 cites W1991146937 @default.
- W2103244827 cites W2082543867 @default.
- W2103244827 cites W2085254659 @default.
- W2103244827 cites W2124223175 @default.
- W2103244827 cites W2289603781 @default.
- W2103244827 cites W2291208220 @default.
- W2103244827 cites W2402288139 @default.
- W2103244827 cites W2594284570 @default.
- W2103244827 cites W2950374218 @default.
- W2103244827 cites W2963184861 @default.
- W2103244827 cites W624912723 @default.
- W2103244827 hasPublicationYear "2014" @default.
- W2103244827 type Work @default.
- W2103244827 sameAs 2103244827 @default.
- W2103244827 citedByCount "3" @default.
- W2103244827 countsByYear W21032448272014 @default.
- W2103244827 countsByYear W21032448272015 @default.
- W2103244827 countsByYear W21032448272020 @default.
- W2103244827 crossrefType "journal-article" @default.
- W2103244827 hasAuthorship W2103244827A5004969380 @default.
- W2103244827 hasAuthorship W2103244827A5005056951 @default.
- W2103244827 hasConcept C11413529 @default.
- W2103244827 hasConcept C118615104 @default.
- W2103244827 hasConcept C124952713 @default.
- W2103244827 hasConcept C136119220 @default.
- W2103244827 hasConcept C137212723 @default.
- W2103244827 hasConcept C142362112 @default.
- W2103244827 hasConcept C182141236 @default.
- W2103244827 hasConcept C202444582 @default.
- W2103244827 hasConcept C2776378722 @default.
- W2103244827 hasConcept C33923547 @default.
- W2103244827 hasConceptScore W2103244827C11413529 @default.
- W2103244827 hasConceptScore W2103244827C118615104 @default.
- W2103244827 hasConceptScore W2103244827C124952713 @default.
- W2103244827 hasConceptScore W2103244827C136119220 @default.
- W2103244827 hasConceptScore W2103244827C137212723 @default.
- W2103244827 hasConceptScore W2103244827C142362112 @default.
- W2103244827 hasConceptScore W2103244827C182141236 @default.
- W2103244827 hasConceptScore W2103244827C202444582 @default.
- W2103244827 hasConceptScore W2103244827C2776378722 @default.
- W2103244827 hasConceptScore W2103244827C33923547 @default.
- W2103244827 hasIssue "30" @default.
- W2103244827 hasLocation W21032448271 @default.
- W2103244827 hasOpenAccess W2103244827 @default.
- W2103244827 hasPrimaryLocation W21032448271 @default.
- W2103244827 hasRelatedWork W1605765292 @default.
- W2103244827 hasRelatedWork W1966415852 @default.
- W2103244827 hasRelatedWork W1990564510 @default.
- W2103244827 hasRelatedWork W2076223857 @default.
- W2103244827 hasRelatedWork W2151448345 @default.
- W2103244827 hasRelatedWork W2167945445 @default.
- W2103244827 hasRelatedWork W2322329889 @default.
- W2103244827 hasRelatedWork W2325566304 @default.
- W2103244827 hasRelatedWork W2402288139 @default.
- W2103244827 hasRelatedWork W2949887602 @default.
- W2103244827 hasRelatedWork W2952212910 @default.
- W2103244827 hasRelatedWork W2962765299 @default.
- W2103244827 hasRelatedWork W2995141439 @default.
- W2103244827 hasRelatedWork W3101104277 @default.
- W2103244827 hasRelatedWork W3113228668 @default.
- W2103244827 hasRelatedWork W3158743919 @default.
- W2103244827 hasRelatedWork W3174975402 @default.
- W2103244827 hasRelatedWork W3195946450 @default.
- W2103244827 hasRelatedWork W624912723 @default.
- W2103244827 hasRelatedWork W2183400106 @default.
- W2103244827 hasVolume "29" @default.
- W2103244827 isParatext "false" @default.
- W2103244827 isRetracted "false" @default.
- W2103244827 magId "2103244827" @default.
- W2103244827 workType "article" @default.