I cannot find any sort of comprehensive list of top schools in mathematical logic. It seems that U Wisconsin should be good, though I don't know if that is the case now that Barwise has passed. UC Berkeley is clearly a good school for logic. All of the places that show up are in Europe. I would not mind England or a Germanic country such as Switzerland, since I speak a decent bit of German and have plenty of time to brush up. Plus it seems that there are graduate courses conducted in English at Zurich. Honestly, as I sure it is the case with many people, I would rather stay in the U.S. That being the case, any info on Phd programs in logic in the U.S. other that the two I already mentioned, would be much appreciated.