Консервативные расширения, счетные упорядоченные модели и операторы замыкания

Бағдарламаның басқа жобалары

• Когомологические и структурные проблемы нессоциативных алгебр
• Теоретико-модельные свойства конечно аксиоматизируемых теорий с приложением к задачам логического программирования и структурные вопросы теории моделей