论文信息 - Model of Partial Continuous Functionals - 字舞流文

Model of Partial Continuous Functionals

[1] H. Luckhardt. Extensional Gödel Functional Interpretation , 1973 .

[2] Yu. L. Ershov,et al. The theory of A-spaces , 1973 .

[3] Yu. L. Ershov,et al. Maximal and everywhere-defined functionals , 1974 .

[4] Yu. M. Gorchakov. Theorems of the Prüfer-Kulikov Type , 1974 .

[5] Yu. L. Ershov,et al. Hereditarily effective operations , 1976 .