Finitely Axiomatizable Theories by Mikhail G. Peretyat'kin