The theory of A-spaces. (English. Russian original) Zbl 0297.54002
Algebra Logic 12(1973), 209-232 (1975); translation from Algebra Logika 12, 369-416 (1973).
MSC:
54A05 | Topological spaces and generalizations (closure spaces, etc.) |
03A05 | Philosophical and critical aspects of logic and foundations |
03C99 | Model theory |
00A30 | Philosophy of mathematics |
03D80 | Applications of computability and recursion theory |
03D99 | Computability and recursion theory |
54B35 | Spectra in general topology |
54C55 | Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) |
References:
[1] | Yu. L. Ershov, ”Computable functionals of finite types,” Algebra i Logika,11, No. 4, 367–437 (1972). |
[2] | Yu. L. Ershov, ”Continuous lattices and A-spaces,” Dokl. Akad. Nauk SSSR,207, No. 3, 523–526 (1972). |
[3] | Yu. L. Ershov, The Theory of Enumerations [in Russian], Vol. 2, Novosibirsk (1973). |
[4] | H. J. Keisler, Model Theory of Infinitary Logic, Amsterdam (1971). · Zbl 0222.02064 |
[5] | D. Scott, Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics, No. 274 (1972). |
[6] | D. Scott, ”Outline of the mathematical theory of computation,” Proc. Fourth Annual Princeton Conf. on Inform. Sci. and Systems (1970), pp. 165–176. |
[7] | D. Scott, ”Continuous lattices,” in: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics, No.274, 97–136 (1972). |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.