Sets, functions, measures. Volume 1: Fundamentals of set and number theory (Q1684501)

The work under review is the first of two comprehensive volumes. The first half (Section 1) of this book is devoted to the basics of set theory and the necessary work to give a rigorous foundation of the numeric systems from the natural to the (extended) real numbers. The second half compiles previous works by the authors and other coauthors in three appendices. Section 1 begins with an exposition of von Neumann-Bernays-Gödel set theory with choice. All the basic notions and constructions (infinite unions, products, relations of several types, mappings, partial orders) are extensively treated, and a definition of nets and order convergence is provided. Next, ordinals and transfinite induction/recursion are expounded, followed by cardinal numbers. All the results include very detailed proofs, in a few occasions a bit labored. A final subsection is dedicated to the construction of all the usual number systems. The first appendix discusses models of ZF of the form \(V_\alpha\). The first section A.1 is a transcription of Section 1 from [the first author et al., J. Math. Sci., New York 138, No. 4, 5763--5829 (2006; Zbl 1142.03030)]. Sections A.2 and A.3 essentially correspond to Section 4 of this paper, with a few paragraphs in addition. The rest of this appendix (Sections A.4--A.8) is a transcription of [\textit{E. I. Bunina} and the first author, J. Math. Sci., New York 138, No. 4, 5830--5891 (2006; Zbl 1136.03032)], starting from Section 3. The second appendix B treats to a ``local'' version of set theory apt to provide a foundation for category theory. It continues the transcription the rest of [the first author et al., loc. cit.], with the addition of a short section on the finite axiomatizability of the local theory of sets. The third appendix is also virtually a facsimile of [the first author and A. D. Yashin, ``Compactness theorem for some generalized second-order language'', J. Math. Res. 6, No. 3, (2014; \url{doi:10.5539/jmr.v6n3p21}], where a compactness theorem is proved for a sui generis version of second-order logic. The reader should take notice of some nonstandard notational conventions adopted by the authors, including \textit{correspondences} for binary relations (subclasses of \(A \times B\); the term ``relation'' is reserved for the case \(A=B\)), \textit{raising to a degree} for raising to a power, \textit{connected} for bounded (variables), \textit{principal set} for domain or universe (of a structure), \textit{successive} for successor (ordinals), and \textit{epilogic, epimathematics} for metalogic, metamathematics. The book includes an alphabetic index, where for each term the section of first appearance is listed. For Volume 2 see [Zbl 06817012].