Year: 2014
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Author: Frey, Jonas
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: G3401096760, G7090116110
OpenAlex ID: W2952078890