FacebookTwitter

Algebra and Logic Seminar – Joint Zoom-webinar with the Algebra Seminar of the Alfréd Rényi Institute of Mathematics, Budapest

On November 23, 2020 (Monday) at 11:15 a.m. (local time in Bulgaria) a joint Zoom-webinar will be held of the Algebra and Logic Seminar of IMI - BAS and the Algebra Seminar of the Alfréd Rényi Institute of Mathematics, Budapest, Hungary. Two talks on: I. Anniversary: 150 Years of idempotents. II. Idempotents of 2 × 2 matrix rings over rings of formal power series. will be delivered by Vesselin Drensky. Join the Zoom meeting at https://zoom.us/j/95342234576?pwd=TTFrZmwyQ2h1QmhOc1JaWXorbzI4dz09 Meeting ID: 953 4223 4576 Passcode: 943760 Abstract. An element a in a ring A is called an idempotent if a2=a. In 2020 we celebrate an anniversary of the idempotents –150 years of their discovery. The idempotents were introduced in Ring Theory by Benjamin Peirce in 1870. Already [...]

2020-11-17T20:04:40+02:00Tuesday, 17 November 2020|Categories: |Tags: , |
Read More

Algebra and Logic Seminar

An online session of the seminar will be held on October 30, 2020 (Friday) at 1:00 p.m. A talk on A Solvable Class of Solution Concepts for Multiplayer Complete Information Infinite Games with Ordered Objectives and Temporary Coalitions will be given by Dimitar Guelev (IMI-BAS). The seminar will be held via Zoom and everyone can join via the lin: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Oct 30, 2020 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Algebra and Logic Department, IMI-BAS http://www.math.bas.bg/algebra/seminarAiL/  

2020-12-02T01:31:15+02:00Monday, 26 October 2020|Categories: |Tags: |
Read More

Algebra and Logic Seminar

On Decemner 13, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics Senior Assistant Professor Peter Danchev (IMI-BAS) will present his dissertation for the scientific degree Doctor of Science on Some Classes of Noncommutative Rings and Abelian Groups Everybody is invited. Algebra and Logic Department, IMI-BAS  

2019-12-06T10:34:40+02:00Friday, 6 December 2019|Categories: |Tags: |
Read More

Algebra and Logic Seminar

The next meeting of the Algebra and Logic Seminar will be held on November 29, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics. A talk on Before we can find a model, we must forget about perfection will be delivered by Dimiter DOBREV. Everybody is invited.  

2019-11-25T16:13:38+02:00Monday, 25 November 2019|Categories: |Tags: |
Read More

Algebra and Logic Seminar

The next meeting of the Algebra and Logic Seminar will be held on November 22, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics. A talk on Diophantine and cohomological dimension of fields of arithmetic type will be delivered by Ivan CHIPCHAKOV. Everybody is invited.  

2019-11-16T23:59:01+02:00Saturday, 16 November 2019|Categories: |Tags: |
Read More

Algebra and Logic Seminar

The next meeting of the Algebra and Logic Seminar will be held on November 15, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics. A talk on First-order theory of Euclidean plane, based on lines as only primitive notion will be delivered by Tatyana IVANOVA. Everybody is invited. Abstract. The paper [1] gives qualitative spatial reasoning in Euclidean plane based solely on lines. The relations of parallelism and convergence between lines are considered. In this presentation I consider a continuation of [1] by adding a new predicate - perpendicularity. I introduce a first-order theory of lines in Euclidean plane with predicates parallelism, convergence and perpendicularity. The logic is complete with respect to the Euclidean plane, ω - categorical and [...]

2019-11-07T12:40:58+02:00Thursday, 7 November 2019|Categories: |Tags: |
Read More

Algebra and Logic Seminar

The next meeting of the Algebra and Logic Seminar will be held on October 25, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics. A talk on ENDOMORPHISMS-REGULARITY OF GRAPHS C_{n,3} will be delivered by Somnuek WORAWISET (Department of Mathematics, Khon Kaen University, Khon Kaen, Thailand). Everybody is invited. Abstract. A graph G is endo-regular if the monoid of all endomorphisms on G is regular in the semigroup sense, that is, for any f in End(G) there exists g in End(G) such that f = fgf. In this talk, we construct a new graph which is related to cycle graphs and characterize endo-regularity of the graphs C_{n,3}. For each positive integer n ≥ 3, a graph C_{n,3} is regular [...]

2019-10-18T00:47:56+03:00Friday, 18 October 2019|Categories: |Tags: , |
Read More

Algebra and Logic Seminar

The next meeting of the Algebra and Logic Seminar will be held on October 11, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics. A talk on Bulgarian names in Antarctica: chronology, distribution, characteristics will be delivered by Lyubomir IVANOV. Everybody is invited.  

2019-10-08T09:24:42+03:00Tuesday, 8 October 2019|Categories: |Tags: , , , |
Read More

Algebra and Logic Seminar

The next meeting of the Algebra and Logic Seminar will be held on September 13, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics. A talk on ON COMMUTATOR KRYLOV TRANSITIVE AND COMMUTATOR WEAKLY TRANSITIVE ABELIAN p-GROUPS will be delivered by Peter DANCHEV. Everybody is invited. Abstract. The reported paper deals with a question, posed a few years ago by Laszlo Fuchs and other international experts in the contemporary theory of Abelian groups, having a special impact on the modern aspects of non-commutative ring theory. Specifically, the problem asks  for the structural description of those Abelian p-groups whose endomorphisms are (additively) generated by commutators. In other words, all endomorphism are representable as a finite sum of products of commutators. [...]

2019-09-04T10:23:57+03:00Wednesday, 4 September 2019|Categories: |Tags: , |
Read More

Algebra and Logic Seminar

The next meeting of the Algebra and Logic Seminar will be held on August 30, 2019 (Friday) at 1:00 p.m. in Room 578 of the Institute of Mathematics and Informatics. A talk on TYPE-THEORY OF ACYCLIC RECURSION AND ITS REDUCTION CALCULUS will be delivered by Rusanka LUKANOVA. Everybody is invited. Abstract. In this talk, I will introduce Moschovakis typed-theory of algorithms.  I shall present its formal language and original reduction calculus, which reduces the terms to their canonical forms. Distinctively, the reduction calculus associates the formal theory with denotational and algorithmic semantics. The canonical forms determine the relation of algorithmic equivalence between terms. If time allows, I will extend the formal system by gamma-reduction and algorithmic gamma-equivalence.  The gamma-calculus reduces the algorithmic complexity, by simplifying [...]

2019-08-24T10:06:25+03:00Saturday, 24 August 2019|Categories: |Tags: , |
Read More
Go to Top