How to find out which math departments have a research group in mathematical logic? I'm thinking to apply to PhD programs in math. I want to study mathematical logic. So I need programs that have mathematicians who do research in this area. I've searched the internet, the results were not satisfactory. The only list I've found find is this one

But this list contains only 9 schools (which are very difficult to get into!). I was wondering if anybody can guide me to some longer lists of schools and PhD programs that have expert(s) in mathematical logic?
I guess some logician is me. I don't know of any list of schools that have programs in logic, and it would be hard to keep such a list anywhere close to comprehensive---very few schools have more than one or two people in mathematical logic, so the list would change frequently based on whose hired/moved/retired recently.

Steffen Lempp keeps a list of logicians which, while not comprehensive, is pretty large, so the institutions those people are at is a good place to start.  Another idea is looking at whose spoke at recent logic conferences (for instance, the program for this year's ASL annual meeting, or the European equivalent, the Logic Colloquium).

Always, of course, if you know any faculty who are familiar with your interests (not necessarily logicians themselves), they may be able to point you towards some schools.

Also, note that there's no school with anything like a "generic" logic program---anywhere you go, your specialization within the field will be limited by whose present there. You likely have some narrower idea than generic logic that you're most interested in, so looking for people working in that area (or who've done work you think is interesting) is a good way to find schools. (You shouldn't obsess about this, though; you don't have to work in exactly the same area as your advisor anyway, and your interests are likely to shift at least a little over time.)