Effective descriptive set theory refines classical descriptive set theory by emphasising computability and algorithmic aspects in the study of definable sets and functions, particularly within Polish ...
A family $\mathscr{B}$ of Borel subsets of a space $X$ is (boundedly) Borel additive if, for some countable ordinal $\alpha$, the union of every subfamily of ...