Hi #Mathstodon!
Iām a 2nd-year math student from Japan.
Interests:
Mathematical Logic / Foundations
Model Theory
Currently reading:
Ebbinghaus, "Mathematical Logic" š
I really want to read "Sheaves in Geometry and Logic" (SGL), but Iām still struggling with Category Theory. Any advice on where to start?
I'm also challenging myself to study math in English! Please feel free to correct my English or math anytime - Iād love to learn from you. š