Periodic Reporting for period 1 - IMIC (Inner models and infinite computations)

Descriptive set theory is a classical topic that dates back to the 19th century. It studies simply definable sets and functions on complete metric spaces, for instance Borel, analytic and projective sets. A typical question is whether sets of a certain complexity are Lebesgue...