Математические заметки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. заметки:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математические заметки, 1974, том 16, выпуск 6, страницы 957–968 (Mi mzm7538)  
Об элементарных теориях графов и абелевых луп

Д. Я. Кесельман

Cибирский энергетический институт СО АН СССР
PDF полного текста (942 kB)
Аннотация: Рассматривается алгоритмическая разрешимость элементарных теорий некоторых классов графов, таких, как однородные, плоские, двудольные плоские, критические неплоские. Для первых классов доказана неразрешимость элементарных теорий, а для последнего — разрешимость с дополнительным предикатом. Доказана также неразрешимость теории абелевых луп интерпретацией в ней теории двудольных однородных степени 3 графов. Библ. 7 назв.
Поступило: 30.07.1973
Англоязычная версия:
Mathematical Notes, 1974, Volume 16, Issue 6, Pages 1167–1171
DOI: https://doi.org/10.1007/BF01098445
Реферативные базы данных:
УДК: 519.4
Образец цитирования: Д. Я. Кесельман, “Об элементарных теориях графов и абелевых луп”, Матем. заметки, 16:6 (1974), 957–968; Math. Notes, 16:6 (1974), 1167–1171
Цитирование в формате AMSBIB
\RBibitem{Kes74}
\by Д.~Я.~Кесельман
\paper Об элементарных теориях графов и абелевых луп
\jour Матем. заметки
\yr 1974
\vol 16
\issue 6
\pages 957--968
\mathnet{http://mi.mathnet.ru/mzm7538}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=371742}
\zmath{https://zbmath.org/?q=an:0311.02063}
\transl
\jour Math. Notes
\yr 1974
\vol 16
\issue 6
\pages 1167--1171
\crossref{https://doi.org/10.1007/BF01098445}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm7538
  • https://www.mathnet.ru/rus/mzm/v16/i6/p957
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025