×

zbMATH — the first resource for mathematics

Model \(\mathbb{C}\) of partial continuous functionals. (English) Zbl 0427.03037
Logic colloquium 76, Proc. Conf., Oxford 1976, Stud. Logic Found. Math., Vol. 87, 455-467 (1977).

MSC:
03D99 Computability and recursion theory
03D45 Theory of numerations, effectively presented structures
03F99 Proof theory and constructive mathematics
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations