Topics in Computable Structure Theory, Simons Foundation (2021-26) Grant uri icon