"journal of symbolic logic" - related articles and key terms