На 26 март 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Some axioms about rationality in infinite concurrent multiplayer games with ordered objectives and temporary coalitions in QCTL* ще изнесе Димитър Гелев (ИМИ - БАН). Резюме. Temporal winning conditions appear in both terminating and infinite games. Reachability (guarantee) winning conditions appear in terminating games. Safety conditions and conditions higher up in the (Manna & Pnueli, 1989) hierarchy appear in non-terminating games. In a multiplayer game, the latter classes of winning conditions are natural to drive players into forming permanent coalitions as the longevity of a coalition needs to match the duration of its agenda, which may take entire infinite plays to implement. However, a [...]

На 19 март 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Some applications of transfinite numbers to algebra and some applications of number theory to transfinite numbers ще изнесе Andreas Weiermann (Ghent University, Belgium). Резюме. In the first part we will survey the role of transfinite numbers in the study of Hilbert's basis theorem and its extension by MacLagan. To this end we associate ordinals to some natural well partial orderings related Cartesian products of the set of natural numbers and we apply this apparatus to monomial ideals in F[X_1,...,X_n] where F is a field. In the second part we use the machinery of Tauberian theorems to prove some structural results about transfinite [...]

На 5 март 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Finite presentability for metabelian groups, Lie algebras and restricted Lie algebras ще изнесе Десислава Кошлукова (Университет в Кампинас, Бразилия). Резюме. In the first part of the talk we revisе the already known classifications of finite presentability (in terms of generators and relations) for metabelian groups and metabelian Lie algebras. The case of groups was solved by Robert Bieri and Ralph Strebel in 1980s and that of Lie algebras was done by Roger Bryant and John Groves in late 1990s. In the last part of the talk we discuss new results about the classification of finitely presented metabelian restricted Lie algebras based on joint [...]

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

На 19 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Identities in Prime Rings ще изнесе Jose Brox (Centre for Mathematics of the University of Coimbra, Portugal). Резюме. Given a ring, a generalized polynomial identity (GPI) is a polynomial identity in which the coefficients can be taken from the ring. Prime rings are a class of rings very well suited to manage problems related to identities, as for example those coming from Herstein's theory, which is the study of nonassociative objects and structures arising from associative rings. After a motivating introduction to prime rings, with some examples from Herstein's theory, I will show the usefulness of Martindale's lemma, the key tool for [...]

На 12 февруари 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On the Newton polytope of a Jacobian pair ще изнесе Leonid Makar-Limanov (Wayne State University, Detroit, USA and Weizmann Institute of Science, Rehovot, Israel). Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 12, 2021 04:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. First, I remind what is the Jacobian Conjecture and talk about some history related to it. Then I'll briefly explain what is the “shape” of a minimal counterexample to the conjecture. After that the Newton polytope related to [...]

На 5 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms, II ще изнесе Русанка Луканова. Докладът ще бъде продължение на доклада, изнесен на 29.01.2021. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 05, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of [...]

На 29 януари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms ще изнесе Русанка Луканова. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Jan 29, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of meaning in typed semantic structures. The focus of [2] is [...]

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