Project

On applications of modal logic to problems of ordinal analysis