Realizability Interpretation of PA by Iterated Limiting PCA

Yohji Akama

For any partial combinatory algebra (PCA for short) A, the class of A-representable partial functions from N to A quotiented by the filter of cofinite sets of N, is a PCA such that…