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.
Similar content being viewed by others
References
A. Heyting, Intuitionism. An introduction (North-Holland, 1956).
H. Rogers, Theory of Recursive Functions and Effective Computability (McGrow-Hill, 1967).
S. C. Kleene, Introduction to Metamathematics (North-Holland, 1952).
T. J. Jech, Lectures in Set Theory with Particular Emphasis on the Theory of Forcing (Springer-Verlag, 1973).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © V.E. Plisko, 2017, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2017, Vol. 72, No. 2, pp. 13–19.
About this article
Cite this article
Plisko, V.E. Constructive theory of enumerable species. Moscow Univ. Math. Bull. 72, 55–60 (2017). https://doi.org/10.3103/S0027132217020036
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0027132217020036