A Constructive Version of the Lusin Separation Theorem

DOI10.1007/978-1-4020-8926-8_6MaRDI QIDQ3613302zbMATH OpenOpenAlexFDO

Authors 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

analytic setsBaire spaceBorel separableconstructive set theory CZF

Mathematics Subject Classification ID

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

Recommendations

• The Dyck and the Preiss separation uniformly
• Half of an inseparable pair
• scientific article; zbMATH DE number 7377989
• Separation of K –analytic sets
• Separatedness in constructive topology

Cited in

(9)

• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
• Intuitionism and effective descriptive set theory
• Some applications of positive formulas in descriptive set theory and logic
• Applications of Luzinian separation principles (non-separable case)
• A note on Bar Induction in Constructive Set Theory
• Half of an inseparable pair
• Projective sets, intuitionistically
• Classical descriptive set theory as a refinement of effective descriptive set theory
• The Dyck and the Preiss separation uniformly

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613302)