Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 21 декабря 2017 г.
Аннотация:Abstract—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.
DOI: 10.3103/S0027132217020036