He also published papers on mathematical logic, and solved a special case of Hilbert's fifth problem.
Он также опубликовал работы по математической логике и решил особый случай пятой проблемы Хилберта.