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

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

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



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






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


Алгебра и логика, 2008, том 47, номер 1, страницы 94–107 (Mi al348)  

Эта публикация цитируется в 14 научных статьях (всего в 14 статьях)

Слабая форма интерполяции в эквациональной логике

Л. Л. Максимова

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Вводятся понятия слабого интерполяционного свойства и слабой амальгамируемости. Доказывается, что в многообразиях со свойством продолжаемости конгруэнции слабое интерполяционное свойство эквивалентно слабой амальгамируемости. В свою очередь, слабая амальгамируемость многообразия эквивалентна амальгамируемости класса конечно порождённых простых алгебр этого многообразия.

Ключевые слова: слабое интерполяционное свойство, слабая амальгамируемость, многообразие со свойством продолжаемости конгруэнции.

Полный текст: PDF файл (183 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2008, 47:1, 56–64

Реферативные базы данных:

УДК: 510.64
Поступило: 06.03.2007

Образец цитирования: Л. Л. Максимова, “Слабая форма интерполяции в эквациональной логике”, Алгебра и логика, 47:1 (2008), 94–107; Algebra and Logic, 47:1 (2008), 56–64

Цитирование в формате AMSBIB
\RBibitem{Mak08}
\by Л.~Л.~Максимова
\paper Слабая форма интерполяции в~эквациональной логике
\jour Алгебра и логика
\yr 2008
\vol 47
\issue 1
\pages 94--107
\mathnet{http://mi.mathnet.ru/al348}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2408573}
\zmath{https://zbmath.org/?q=an:1164.03319}
\transl
\jour Algebra and Logic
\yr 2008
\vol 47
\issue 1
\pages 56--64
\crossref{https://doi.org/10.1007/s10469-008-0006-x}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000255038400006}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-40549113650}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al348
  • http://mi.mathnet.ru/rus/al/v47/i1/p94

    ОТПРАВИТЬ: 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

    Эта публикация цитируется в следующих статьяx:
    1. Л. Л. Максимова, Е. Орловска, “Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках”, Алгебра и логика, 47:3 (2008), 307–334  mathnet  mathscinet  zmath; L. L. Maksimova, E. Orlowska, “The Beth property and interpolation in lattice-based algebras and logics”, Algebra and Logic, 47:3 (2008), 176–192  crossref
    2. А. В. Карпенко, “Слабое интерполяционное свойство в расширениях логик $S4$ и $K4$”, Алгебра и логика, 47:6 (2008), 705–722  mathnet  mathscinet  zmath; A. V. Karpenko, “Weak interpolation in extensions of the logics $S4$ and $K4$”, Algebra and Logic, 47:6 (2008), 395–404  crossref  isi
    3. Л. Л. Максимова, “Разрешимость проблемы интерполяции и родственных свойств в табличных логиках”, Алгебра и логика, 48:6 (2009), 754–792  mathnet  mathscinet  zmath; L. L. Maksimova, “Decidability of the interpolation problem and of related properties in tabular logics”, Algebra and Logic, 48:6 (2009), 426–448  crossref  isi
    4. А. В. Карпенко, “Интерполяционные свойства в расширениях логики неравенства”, Сиб. матем. журн., 51:3 (2010), 553–568  mathnet  mathscinet  zmath; A. V. Karpenko, “Interpolation properties in the extensions of the logic of inequality”, Siberian Math. J., 51:3 (2010), 439–451  crossref  isi
    5. Л. Л. Максимова, “Совместная непротиворечивость в расширениях минимальной логики”, Сиб. матем. журн., 51:3 (2010), 604–619  mathnet  mathscinet  zmath; L. L. Maksimova, “Joint consistency in extensions of the minimal logic”, Siberian Math. J., 51:3 (2010), 479–490  crossref  isi
    6. А. В. Карпенко, Л. Л. Максимова, “Простые слабо транзитивные модальные алгебры”, Алгебра и логика, 49:3 (2010), 346–365  mathnet  mathscinet  zmath; A. V. Karpenko, L. L. Maksimova, “Simple weakly transitive modal algebras”, Algebra and Logic, 49:3 (2010), 233–245  crossref
    7. Л. Л. Максимова, “Разрешимость слабого интерполяционного свойства над минимальной логикой”, Алгебра и логика, 50:2 (2011), 152–188  mathnet  mathscinet  zmath; L. L. Maksimova, “Decidability of the weak interpolation property over the minimal logic”, Algebra and Logic, 50:2 (2011), 106–132  crossref  isi
    8. Л. Л. Максимова, “Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр”, Конференция «Мальцевские чтения», Совр. пробл. матем., 15, МИАН, М., 2011, 15–39  mathnet  crossref  elib; L. L. Maksimova, “Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras”, Proc. Steklov Inst. Math., 278, suppl. 1 (2012), S66–S90  crossref  isi
    9. Maksimova L., “Interpolation and Definability Over the Logic Gl”, Stud. Log., 99:1-3, SI (2011), 249–267  crossref  mathscinet  zmath  isi  elib  scopus
    10. Л. Л. Максимова, “Интерполяция и проективное свойство Бета в стройных логиках”, Алгебра и логика, 51:2 (2012), 244–275  mathnet  mathscinet  zmath; L. L. Maksimova, “Interpolation and the projective Beth property in well-composed logics”, Algebra and Logic, 51:2 (2012), 163–184  crossref  isi
    11. Л. Л. Максимова, “Разрешимость интерполяционного свойства Крейга в стройных $\mathrm J$-логиках”, Сиб. матем. журн., 53:5 (2012), 1048–1064  mathnet  mathscinet; L. L. Maksimova, “The decidability of craig's interpolation property in well-composed $\mathrm J$-logics”, Siberian Math. J., 53:5 (2012), 839–852  crossref  isi
    12. Л. Л. Максимова, “Проективное свойство Бета в стройных логиках”, Алгебра и логика, 52:2 (2013), 172–202  mathnet  mathscinet; L. L. Maksimova, “The projective Beth property in well-composed logics”, Algebra and Logic, 52:2 (2013), 116–136  crossref  isi
    13. Л. Л. Максимова, “Ограниченная интерполяция над модальной логикой $\mathrm S4$”, Алгебра и логика, 52:4 (2013), 461–501  mathnet  mathscinet; L. L. Maksimova, “Restricted interpolation over modal logic $\mathrm S4$”, Algebra and Logic, 52:4 (2013), 308–335  crossref  isi
    14. Karpenko A., “Decidability of Some Interpolation Properties For Weakly Transitive Modal Logics”, Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions to Logic, 15, ed. Odintsov S., Springer, 2018, 171–183  crossref  mathscinet  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:305
    Полный текст:72
    Литература:43
    Первая стр.:4
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020