All realizability is relative

DOI10.1017/S0305004106009352zbMath1115.03093OpenAlexW2091708223MaRDI QIDQ3419822

Pieter J. W. Hofstra

Publication date: 7 February 2007

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004106009352

zbMATH Keywords

localeseffective toposgeometric morphismstriposesbasic combinatorial objectsDialectica triposPCAs

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (14)

Dialectica principles via Gödel doctrines ⋮ The category of implicative algebras and realizability ⋮ A characterization of generalized existential completions ⋮ On categorical structures arising from implicative algebras: from topology to assemblies ⋮ Ordered combinatory algebras and realizability ⋮ Categories of partial equivalence relations as localizations ⋮ Characterizing partitioned assemblies and realizability toposes ⋮ Realizability in ordered combinatory algebras with adjunction ⋮ Regular functors and relative realisability categories ⋮ On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes ⋮ Krivine's classical realisability from a categorical perspective ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Computability structures, simulations and realizability ⋮ Introduction to Turing categories

This page was built for publication: All realizability is relative