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 ...

And, in what I hope is my last post on foreign policy realism for the day, I think there’s a general problem with the oft-elided distinction between descriptive and prescriptive realism. Descriptive ...

This is a survey paper on the descriptive set theory of hereditary families of closed sets in Polish spaces. Most of the paper is devoted to ideals and σ-ideals of closed or compact sets.