# 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