Borel classes in AST. Measurability, cuts and equivalence. (English) Zbl 0676.03032

Borel classes create the least \(\sigma\)-ring containing the ring of set- theoretically definable classes (set parameters are admitted in definitions). There is a close relationship between these classes and classical Borel sets. It is obvious that in alternative set theory we do not need any topology for their definition as it is in the classical case. The authors investigate them from the point of view of their magnitude given by a Loeb-type measure. They also examine the equivalence and subvalence relations determined by Borel mappings and Borel cuts which are connected with the considered matter. E.g., they prove the Cantor-Bernstein theorem for Borel mappings. The paper is elaborated in a nice and exhaustive manner.
Reviewer: M.Čuda


03E70 Nonclassical and second-order set theories
03H99 Nonstandard models
28E05 Nonstandard measure theory
03E15 Descriptive set theory
28A05 Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets
Full Text: EuDML