На 25 февруари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the Degree of Dependence of Two Events as a Relative Invariant of the Dihedral Group of Order 8 ще изнесе Валентин Илиев (ИМИ - БАН). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 25, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 18 февруари 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: The Bulgarian Solitaire and Other Games on Partitions ще изнесе Веселин Дренски (ИМИ - БАН). Резюме. In 2020 the L.N. Gumilyov Eurasian National University (Nur-Sultan, Kazakhstan) decided to organize International Scientific Conference "Algebra and Logic" dedicated to the 60th anniversary of Professor Ualbai Umirbaev and the 75th anniversary of Professor Leonid Makar-Limanov. The meeting was cancelled because of the Covid-19 pandemic. The present talk is based on the talk I planned to give in Nur-Sultan. The (quite amusing) story presented in the talk is an example of how an elementary mathematical game can inspirit serious mathematical investigations in Combinatorics, Graph theory, [...]

На 11 февруари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal definability of some classes of modal products ще изнесе Яна Руменова (ФМИ – СУ). Докладът е съвместен с Тинко Тинчев (ФМИ – СУ). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 11, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 28 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Bicommutative algebras from commutative point of view ще изнесе Веселин Дренски (ИМИ - БАН). Резюме: The nonassociative algebra R is right-commutative if (ab)c = (ac)b for all a, b, c in R, R is left-commutative if a(bc) = b(ac) for all a, b, c in R. Bicommutative algebras are algebras which are both left- and right-commutative. One-sided commutative algebras appeared for the first time in a paper by Cayley in 1857. Their important subclass of Gelfand-Dorfman-Novikov algebras were studied by Gelfand and Dorfman for the needs of the Hamiltonian operator in finite-dimensional mechanics and by Balinskii and Novikov in relation with [...]

На 21 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the distribution of αp modulo one for primes p=aq^2+1 with prime q ще изнесе Татяна Тодорова (ФМИ-СУ). Резюме: It is a long-standing conjecture that there are infinitely many primes of the form n^2+1. Several approximations to this problem have been made. Baier and Zhao showed that for any ε > 0, there are infinitely many primes of the form p = aq^2 + 1, where a ≤ p^(5/9+ε). The best known result, due to Matomäki is that there are infinitely many primes of the form p = aq^2 + 1, where a ≤ p^(1/2+ε) and q is a prime. We [...]

На 7 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A valuation theorem for Noetherian rings ще изнесе Антони Рангачев (ИМИ - БАН). Резюме: A classical result due to Krull says that a normal domain R is equal to the intersection of the valuation rings in its field of fractions that contain R. If in addition R is Noetherian, then one can restrict the intersection to the discrete valuation rings that contain R. Now consider the following relative setting. Let A and B be integral domains. Suppose A is Noetherian and B is a finitely generated A-algebra that contains A. Denote by A' the integral closure of A in B. In [...]

На 3 декември 2021 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на което ще бъдат изнесени два доклада. Заседанието ще се проведе като част от отчетната сесия на секция "Алгебра и логика" за 2021 г. От 13:00 до 13:30 часа доклад на тема Теорема за разделянето в интервалната темпорална логика с дискретно време ще изнесе Димитър Гелев (съвместна работа с Бен Мошковски). Докладът ще бъде изнесен на български език с презентация на английски език. Резюме: Теоремата за разделянето на Габай за линейната темпорална логика (LTL) с оператори за миналото е доказано един от най-полезните теоретични резултати в темпоралната логика. В този доклад уста-новяваме аналогично твърдение за пропозиционалната интервална темпорална логика (ITL) с дискретно време на Мошковски с два [...]

На 26 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. We elaborate on semantically labeled syntax trees, which provide a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of either models or frames, and use them to show that there are classes of Kripke frames that are definable by both non-Sahlqvist and Sahlqvist formulae but the latter require more propositional variables. The talk is based on the following articles. P. Iliev. On a method [...]

На 19 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Identities of Vector Spaces and Nonassociative Linear Algebras ще изнесе Alexey V. Kislitsin (Altai State Pedagogical University, Barnaul, Russia). Докладът е съвместен с Ismail M. Isaev (Altai State Pedagogical University, Barnaul, Russia). Докладът ще бъде изнесен на руски език, а слайдовете ще бъдат на английски. Абстракт. In this talk, we study the concept of the identity of the L-space as a weak identity of the pair (A, E), where A is the associative F-algebra generated by the vector space E over the field F. We study the properties of the L-spaces and their identities. Corollaries of some of the results proved [...]