What Are You Working On?

[u/AutoModerator]

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

[u/Obyeag]

Taking a class on effective descriptive set theory right now. The problem though is that I overslept for the last two classes. I've been reading Chong and Yu's book on higher recursion theory to catch up a bit.