Article PDF
Avoid common mistakes on your manuscript.
Literature cited
Yu. L. Ershov, Theory of Numerations [in Russian], Nauka, Moscow (1977).
Yu. L. Ershov, "Σ-predicates of finite types over an admissible set," Algebra Logika,24, No. 5, 499–536 (1985).
Yu. L. Ershov, "Σ-admissible sets," Vychisl. Sistemy, No. 114, 35–39 (1986).
M. Makkai, "Admissible sets and infinite logic," in: Manual of Mathematical Logic [in Russian], Vol. 1, Nauka, Moscow (1982), pp. 235–288.
V. Yu. Sazonov and D. I. Sviridenko, "Denotational semantics of language of the Σ-expressions," Vychisl. Sistemy, No. 114, 16–34 (1986).
Additional information
Translated from Algebra i Logika, Vol. 25, No. 5, pp. 533–543, September–October, 1986.
Rights and permissions
About this article
Cite this article
Ershov, Y.L. fA-spaces. Algebra and Logic 25, 336–343 (1986). https://doi.org/10.1007/BF01982128
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01982128