Geodesic
Constructive theory of enumerable species
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2017), pp. 13-19

Voir la notice de l'article provenant de la source Math-Net.Ru

A construcrive semantics for the language of the 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. 
@article{VMUMM_2017_2_a2,
     author = {V. E. Plisko},
     title = {Constructive theory of enumerable species},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {13--19},
     publisher = {mathdoc},
     number = {2},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2017_2_a2/}
}
TY  - JOUR
AU  - V. E. Plisko
TI  - Constructive theory of enumerable species
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2017
SP  - 13
EP  - 19
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2017_2_a2/
LA  - ru
ID  - VMUMM_2017_2_a2
ER  - 
%0 Journal Article
%A V. E. Plisko
%T Constructive theory of enumerable species
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2017
%P 13-19
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2017_2_a2/
%G ru
%F VMUMM_2017_2_a2
V. E. Plisko. Constructive theory of enumerable species. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2017), pp. 13-19. http://geodesic.mathdoc.fr/item/VMUMM_2017_2_a2/