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

In this paper we show that Cπ(X), the set of continuous, real-valued functions on X topologized by the pointwise convergence topology, can have arbitrarily high Borel or projective complexity in RX ...

My past research has existed in the intersection of logic and descriptive set theory with computational complexity theory. Particular topics relevant to this research have centered around oracle ...

Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.