VII: 06, 48-50, LNM 321 (1973)
DELLACHERIE, Claude
Une démonstration du théorème de Souslin-Lusin (Descriptive set theory)
The basic fact that the image of a Borel set under an injective Borel mapping is Borel is deduced from a separation theorem concerning countably many disjoint analytic sets
Comment: This is a step in the author's simplification of the proofs of the great theorems on analytic and Borel sets. See Un cours sur les ensembles analytiques, in Analytic Sets, C.A. Rogers ed., Academic Press 1980
Keywords: Borel sets, Analytic sets, Separation theorem
Nature: New exposition of known results
Retrieve article from Numdam

---