共 50 条
- [2] RECURSIVE METRIZABILITY OF NUMBERED TOPOLOGICAL-SPACES AND BASIS OF EFFECTIVE LINEAR TOPOLOGICAL-SPACES IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1984, (08): : 59 - 61
- [3] COMPUTABILITY IN TOPOLOGICAL-SPACES ON A RECURSIVE BASIS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (05): : 473 - 480
- [4] CONSTRUCTIVE REPRESENTATIONS IN TOPOLOGICAL-SPACES WITH RECURSIVE BASIS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (06): : 565 - 576
- [10] NUMBERED TOPOLOGICAL-SPACES ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (02): : 141 - 176