Sheaf toposes for realizability (Q938241)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sheaf toposes for realizability |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sheaf toposes for realizability |
scientific article |
Statements
Sheaf toposes for realizability (English)
0 references
18 August 2008
0 references
This paper compares realizability models over partial combinatory algebras by embedding them into sheaf toposes. Then the authors use the machinery of Grothendieck toposes and geometric morphisms to study the relationship between realizability models over different partial combinatory algebras.
0 references
realizability models
0 references
partial combinatory algebras
0 references
sheaf toposes
0 references
Grothendieck toposes
0 references
geometric morphisms
0 references
