Literature cited
J. Barwise, Admissible Sets and Structures, Springer, Berlin (1975).
Yu. L. Ershov, "Dynamical logic over admissible sets," Dokl. Akad. Nauk SSSR,27, No. 5, 1045–1048 (1983).
Yu. L. Ershov, "Σ-definability in admissible sets," Dokl. Akad. Nauk SSSR,285, No. 4, 792–795 (1985).
Yu. L. Ershov, "The language of Σ-expressions," Vychisl. Systemy, No. 114, 3–10, 1986.
Yu. L. Ershov, "Σ-admissible sets," Vychisl. Systemy, No. 114, 35–39, 1986.
V. Yu. Sazonov and D. I. Sviridenko, "Denotational semantics of the language of Σ-expressions," Vychisl. Systemy, No. 114, 16–34 (1986).
Additional information
Translated from Algebra i Logika, Vol. 26, No. 5, pp. 577–596, September–October, 1987.
Rights and permissions
About this article
Cite this article
Ershov, Y.L. Generatability of admissible sets. Algebra and Logic 26, 346–361 (1987). https://doi.org/10.1007/BF01978691
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01978691