Hello everyone. I'm having some trouble deciding on what field I should pursue in graduate school. I really like any branch of math, but I'd have to say that both mathematical logic (and meta-mathematics in general) and abstract algebra might have to be my favorites. I am also interested in theoretical/mathematical computer science, such as questions of what is computable (or beyond like superturing). Is there any way to combine any of these fields?