4 search results - page 1 / 1 » Sheaf toposes for realizability |
92
Voted
AML
2008
14 years 10 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
65
Voted
TLCA
1993
Springer
15 years 2 months ago
1993
Springer
40
Voted
MSCS
2002
14 years 9 months ago
2002
BSL
2007
14 years 10 months ago
2007
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...