Constructive theory of enumerable species
V. E. Plisko · Moscow University Mathematics Bulletin · 2017
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.