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

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

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


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




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

Математический сборник, 1989, том 180, номер 3, страницы 307–321 (Mi sm1612)  
Эта публикация цитируется в 2 научных статьях (всего в 3 статьях)

О динамических теориях свободных алгебр

И. Х. Мусикаев, М. А. Тайцлин
PDF полного текста (971 kB) PDF английской версии (924 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: Для формул логики $L_{\infty\omega}(n)$ вводится некоторая каноническая форма и доказывается, что всякая формула этой логики эквивалентна на свободных алгебрах некоторой канонической формуле. Это позволяет установить, что никакого конечного числа программ недостаточно, чтобы с их помощью выразить все запросы, выразимые в динамической логике и относящиеся к рассматриваемой свободной алгебре. В качестве следствия получаются также результаты о том, что бесконечная память увеличивает выразительные возможности динамической логики.
Библиография: 7 названий.
Поступила в редакцию: 17.06.1986
Англоязычная версия:
Mathematics of the USSR-Sbornik, 1990, Volume 66, Issue 2, Pages 313–327
DOI: https://doi.org/10.1070/SM1990v066n02ABEH001315
Реферативные базы данных:
УДК: 510.6
MSC: Primary 03B70; Secondary 08B20, 68Q55, 68Q60, 68S10
Образец цитирования: И. Х. Мусикаев, М. А. Тайцлин, “О динамических теориях свободных алгебр”, Матем. сб., 180:3 (1989), 307–321; I. Kh. Musikaev, M. A. Taitslin, “On dynamic theories of free algebras”, Math. USSR-Sb., 66:2 (1990), 313–327
Цитирование в формате AMSBIB
\RBibitem{MusTai89}
\by И.~Х.~Мусикаев, М.~А.~Тайцлин
\paper О~динамических теориях свободных алгебр
\jour Матем. сб.
\yr 1989
\vol 180
\issue 3
\pages 307--321
\mathnet{http://mi.mathnet.ru/sm1612}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=993227}
\zmath{https://zbmath.org/?q=an:0698.03018|0679.03004}
\transl
\by I.~Kh.~Musikaev, M.~A.~Taitslin
\paper On dynamic theories of free algebras
\jour Math. USSR-Sb.
\yr 1990
\vol 66
\issue 2
\pages 313--327
\crossref{https://doi.org/10.1070/SM1990v066n02ABEH001315}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1990DY49300001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm1612
  • https://www.mathnet.ru/rus/sm/v180/i3/p307
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник - 1989–1990 Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:253
    PDF русской версии:92
    PDF английской версии:18
    Список литературы:47
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024