семинар Алгебра и логика

Съвместна сбирка на семинара на МЦМН и семинара "Алгебра и Логика" в ИМИ, София, ще се проведе идния вторник, с доклад на Георги Томанов, както следва. Вторник, 29-ти април, 14:00 часа, зала 403 на ИМИ-БАН. Георги Томанов, Université Claude Bernard, Lyon 1. Group action on homogeneous spaces and applications in number theory Abstract: Many longstanding conjectures and problems in number theory can be reformulated in terms of group actions on homogeneous spaces. This reformulation allows them to be tackled using, alongside deep methods from algebra and algebraic geometry, powerful tools from ergodic theory and dynamical systems. An example of the effectiveness of this approach is Margulis's groundbreaking proof of the Oppenheim conjecture (formulated in 1929) concerning the values of quadratic forms at integer points. In [...]

На 16 май 2025 г. (петък) от 13:00 часа в зала 503 на ИМИ и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Grätzer-Schmidt Theorem in arithmetical transfinite recursion ще изнесе Soowhan Yoon (American University in Bulgaria). Abstract: We assess the reverse mathematical strength of the Grätzer-Schmidt theorem (GS) as a principle in second order arithmetic. The theorem GS was studied in an article by Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, and Richard A. Shore, where they establish the provability of GS in Π11 Comprehension (Π11-CA0) and its restrictive variant GSD in arithmetical comprehension (ACA0). It will be shown that the arithmetical transfinite recursion (ATR0) is sufficient to prove [...]