Repository | Book | Chapter
(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.
I state and prove a constructive version of the Lusin Separation Theorem. The classical statement of the theorem is that disjoint analytic sets are Borel separable. The definitions and results are carried out in the axiom system CZF for constructive set theory.
Publication details
DOI: 10.1007/978-1-4020-8926-8_6
Full citation:
Aczel, P. (2009)., A constructive version of the lusin separation theorem, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 129-151.
This document is unfortunately not available for download at the moment.