Mathematical Problems from Applied Logic II