Модельные соответствия

В работе выделяются особые соответствия между моделями, называемые проективными, и устанавливаются их основные свойства. Для соответствий более сложного типа доказывается внутренняя локальная теорема, частными случаями которой оказываются основные локальные теоремы теории групп.