Hostname: page-component-5c6d5d7d68-xq9c7 Total loading time: 0 Render date: 2024-08-09T14:09:21.334Z Has data issue: false hasContentIssue false

All realizability is relative

Published online by Cambridge University Press:  28 September 2006

PIETER J. W. HOFSTRA
Affiliation:
University of Ottawa, Department of Mathematics and Statistics, 585 King Edward Avenue, K1N 5N6 Ottawa, ON, Canada. e-mail: pieter.hofstra@mathstat.uottawa.ca

Abstract

We introduce a category of basic combinatorial objects, encompassing PCAs and locales. Such a basic combinatorial object is to be thought of as a pre-realizability notion. To each such object we can associate an indexed preorder, generalizing the construction of triposes for various notions of realizability. There are two main results: first, the characterization of triposes which arise in this way, in terms of ordered PCAs equipped with a filter. This will include “Effective Topos-like” triposes, but also the triposes for relative, modified and extensional realizability and the dialectica tripos. Localic triposes can be identified as those arising from ordered PCAs with a trivial filter. Second, we give a classification of geometric morphisms between such triposes in terms of maps of the underlying combinatorial objects. Altogether, this shows that the category of ordered PCAs with non-trivial filters serves as a framework for studying a wide variety of realizability notions.

Type
Research Article
Copyright
2006 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)