На 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 [...]