Елементи алгебричної геометрії
Алгебричні системи
Мови та гомоморфізми Мова (сигнатура) - це сукупність, яка складається з множин та де - множина предикатних символів, - множина функціональних символів, а - множина константних символів. Із кожним предикатним та функціональним символами однозначно пов'язане натуральне число чи (арність). Арність функціонального чи предикатного символа позначається чи відповідно. Функціональні символи називаються основними операціями мови
Терми та формули
Діаграми
Класифікація алгебричних систем
Універсальна алгебрична геометрія
Нетерові алгебричні системи
Теоретико-категорне формулювання
Гомотопічні типи Мореля-Воєводського