Constructive Theory of Enumerable Species / V. E. Plisko. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2017. № 2. P. 13-19 [Moscow Univ. Math. Bulletin. Vol. 72, N 2, 2017. P. 55-60].

A constructive semantics for the language of set theory with atoms based on interpreting set variables by enumerable species is defined. The soundness of the axioms of the Zermelo–Fraenkel set theory with this semantics is completely studied.

Key words: intuitionism, set theory, species, enumerable set, recursive realizability.

№ 2/2017