PhDs in Logic III related domains (1)