Sheaf toposes for realizability (Q938241): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
| Property / DOI | |||
| Property / DOI: 10.1007/s00153-008-0090-6 / rank | |||
| Property / DOI | |||
| Property / DOI: 10.1007/S00153-008-0090-6 / rank | |||
Normal rank | |||
Latest revision as of 08:59, 10 December 2024
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
