The National Science Foundation Division of Mathematical Sciences awarded the University of California, Berkeley $100,000 on August 15, 2026, under the Mathematical and Physical Sciences program (CFDA 47.049) to develop and apply the iterated true-stage method and topological game meta-theorem—tools from computable structure theory—to advance results in descriptive set theory. Both tools enable construction of continuous functions using information that lies high in the Borel hierarchy, bridging the gap between hyperarithmetic results in computability theory and Borel hierarchy results in descriptive set theory. The project funds research, student and postdoc advising, seminar organization, and course instruction. Performance takes place at UC Berkeley, Berkeley, California, with a period of performance extending through July 31, 2028. No subawards are planned.