PhD's in Logic III related domains (1)