Current Pursuits

I am seeking a student to assist in organizing and streamlining the existing state-of-the-art results on Vaught's conjecture. This is a classic problem in model theory which I studied during my master's. The problem also has a computability-theoretic equivalent which I explored during my PhD on computable structure theory.
Though the topic nontrivially intersects with CS, it is more relevant to mathematics (model theory, descriptive set theory, and computable structure theory).

I am hoping to create a funded opportunity for this research (NSERC USRA/UTEA). Contact me only if you are a U of T student and ready to commit full-time during the summer term.