Sheaf toposes for realizability (Q938241): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 01:41, 5 March 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
