A Constructive Version of the Lusin Separation Theorem

DOI10.1007/978-1-4020-8926-8_6zbMath1171.03037OpenAlexW1495014143MaRDI QIDQ3613302

Peter Aczel

Publication date: 12 March 2009

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_6

zbMATH Keywords

Baire spaceanalytic setsBorel separableconstructive set theory CZF

Mathematics Subject Classification ID

Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Related Items (3)

Intuitionism and effective descriptive set theory ⋮ Projective sets, intuitionistically ⋮ Classical descriptive set theory as a refinement of effective descriptive set theory

This page was built for publication: A Constructive Version of the Lusin Separation Theorem