Next year I am going to do a masters in mathematical logic and it requires you to do some courses in another field of pure mathematics. I am trying to decide between algebraic topology and algebraic geometry.

Some context: I know nothing of algebraic geometry (I just read the wikipedia page), and have taken some courses in topology, but my knowledge is limited to point set topology and the fundamental group. I have heard that some category and topos theory used in geometry and topology have applications in logic, so I am obviously interested in that.

What do you think is most suitable and can you name a few application of both disciplines in logic?


closed as off-topic by Arthur, KReiser, cmk, mathematics2x2life, Yanior Weg Jun 13 at 8:05

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "Seeking personal advice. Questions about choosing a course, academic program, career path, etc. are off-topic. Such questions should be directed to those employed by the institution in question, or other qualified individuals who know your specific circumstances." – Arthur, KReiser, cmk, mathematics2x2life, Yanior Weg
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 5
    $\begingroup$ This is an interesting question, but personal advice (including choice of courses) is considered off-topic on this site. Don't you have an advisor for your master's? Answering questions like this is part of their job description. $\endgroup$ – Arthur Jun 12 at 21:59
  • 1
    $\begingroup$ The answer to this question is also highly dependent on what kind of logic you plan to pursue. Algebraic geometry is more relevant for model theory and it's applications, while algebraic topology and category theory have important connections to some areas of proof theory and (obviously) categorical logic. $\endgroup$ – Alex Kruckman Jun 13 at 3:21