By Jonas Frey

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.

August 2, 2018

Loading full text...

Similar articles

Loading recommendations...

x1

Characterizing partitioned assemblies and realizability toposes

Click on play to start listening