Characterizing partitioned assemblies and realizability toposes
Frey, Jonas · arXiv (Cornell University) · 2014
We give simple characterizations of the category PAsm(A) of partitioned assemblies, and of the realizability topos RT(A) over a partial combinatory algebra A. This answers the question for an 'extensional characterization' of realizability toposes.