СоркинЮ. И. Независимые системы аксиом, определяющие структуру. Ukr. Mat. Zhurn. 1951, 3, 85-97.