Mathematical Problems from Applied Logic I