Date of Original Version

9-7-2004

Type

Article

Rights Management

The original publication is available at www.springerlink.com.

Abstract or Description

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 to study the relationship between realizability models over different partial combinatory algebras. This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.

DOI

10.1007/s00153-008-0090-6

Included in

Philosophy Commons

Share

COinS