Свободные и конечно определенные алгебры многообразий квазигрупп и многообразий Кантора Шабунин, Леонид Васильевич

Короткий опис

Шабунин, Леонид Васильевич.
Свободные и конечно определенные алгебры многообразий квазигрупп и многообразий Кантора : диссертация ... доктора физико-математических наук : 01.01.06. - Чебоксары, 2000. - 306 с.
Оглавление диссертациидоктор физико-математических наук Шабунин, Леонид Васильевич
ВВЕДЕНИЕ.
ГЛАВА 1. Свойство Чёрча-Россера и элементарные теории.
§ 1. Основные понятия и обозначения.
§ 2. Полные системы тождеств.
§ 3. Фактор-алгебры термов с предикатом нормальной формы
§ 4. Многообразия с пустой системой тождеств.
ГЛАВА 2. Дх-многообразия квазигрупп.
§ 5. Определения и леммы.
§ 6. Полные системы тождеств для с- и ¿-подмногообразий многообразия Т-^1.
§ 7. Полные системы тождеств для ¿¿-подмногообразий многообразий В1 В2 ВЪ1 и В
§ 8. Полные системы тождеств для с- и ¿-подмногообразий многообразий А11, Л21, АЗ1, А41 и А51.
§ 9. Полные системы тождеств для ¿-подмногообразий многообразий А1В, А2В и АЗВ.
§ 10. Теорема о числе /^-многообразий.
§ 11. Конечно определенные квазигруппы
§ 12. Свободные квазигруппы
§ 13. Дополнительные примеры
§ 14. Результаты о неразрешимости.
ГЛАВА 3. /^-многообразия луп.
§ 15. Определения и леммы.
§ 16. Полные системы тождеств для с- и ¿-подмногообразий многообразия У02.
§ 17. Полные системы тождеств для с- и ¿-подмногообразий многообразия АЗ2.
§ 18. Полные системы тождеств для многообразий AI2, А22, a42 и аъ2.
§ 19. Теорема о числе ^-многообразий.
§ 20. Конечно определенные лупы.
§ 21. Свободные лупы.
ГЛАВА 4. Лз-многообразия луп.
§ 22. Определения и леммы.
§ 23. с- и ¿-подмногообразия многообразия V^3.
§ 24. с- и ¿¿-подмногообразия многообразий Bl3-B8, Ml, М2,
§ 25. с- и ¿/-подмногообразия многообразий A33, N1, N2, CIP
§ 26. Первая теорема о числе /^-многообразий
§ 27. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия Vq
§ 28. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия ВI3.
§ 29. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия J323.
§ 30. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия ВЗ3.
§ 31. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий В43 и ВЪ.
§ 32. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия В
§ 33. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий В7 и В8.
§ 34. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий Ml, М2 и IP.
§ 35. Полные системы то?кдеств для с- и ¿¿-подмногообразий многообразия ЛЗ3.
§ 36. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий N1, N2 и С1Р
§ 37. Полные системы тождеств для многообразий А13, А23,
Л43 и Л
§ 38. Вторая теорема о числе Лз-многообразий.
§ 39. Конечно определенные лупы.
§ 40. Свободные лупы.
ГЛАВА 5. Многообразия Кантора.
§ 41. Многообразия Кантора СТО;П. Вполне замкнутые представления
§ 42. Конечно определенные алгебры в многообразии Ст,п
§ 43. Свободные алгебры в многообразии Ст^п.
§ 44. Теорема вложения.
§ 45. Неразрешимость теории многообразия Ст^п.