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

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

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



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






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


Дискрет. матем., 1990, том 2, выпуск 4, страницы 3–10 (Mi dm880)  

Конечная система аксиом для модельного компаньона теории всех мультидеревьев

Г. Е. Пунинский


Аннотация: Мулыпидеревом называется частично упорядоченное множество, не содержащее четверки $\{x,y,u,v\}$, где $x>y\langle u\rangle v$. В работе выписана конечная система аксиом для модельного компаньона $M^*$ теории всех мультидеревьев. Конечная аксиоматизируемость теории $M^*$ и ее счетная категоричность были доказаны автором ранее.

Полный текст: PDF файл (1140 kB)

Реферативные базы данных:
УДК: 510.67
Статья поступила: 26.11.1988

Образец цитирования: Г. Е. Пунинский, “Конечная система аксиом для модельного компаньона теории всех мультидеревьев”, Дискрет. матем., 2:4 (1990), 3–10

Цитирование в формате AMSBIB
\RBibitem{Pun90}
\by Г.~Е.~Пунинский
\paper Конечная система аксиом для модельного компаньона теории всех мультидеревьев
\jour Дискрет. матем.
\yr 1990
\vol 2
\issue 4
\pages 3--10
\mathnet{http://mi.mathnet.ru/dm880}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1104309}
\zmath{https://zbmath.org/?q=an:0721.03024}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dm880
  • http://mi.mathnet.ru/rus/dm/v2/i4/p3

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Дискретная математика
    Просмотров:
    Эта страница:186
    Полный текст:85
    Первая стр.:3
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020