A constructive version of the lusin separation theorem
pp. 129-151
Abstract
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
Published in:
Palmgren Erik, Segerberg Krister (2009) Logicism, intuitionism, and formalism: what has become of them?. Dordrecht, Springer.
Pages: 129-151
DOI: 10.1007/978-1-4020-8926-8_6
Full citation:
Aczel Peter (2009) „A constructive version of the lusin separation theorem“, In: E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, 129–151.