BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Institute of Mathematics and Informatics
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250516T130000
DTEND;TZID=Europe/Sofia:20250516T140000
DTSTAMP:20260430T191357
CREATED:20250514T091148Z
LAST-MODIFIED:20250514T091148Z
UID:17742-1747400400-1747404000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 16 май 2025 г. (петък) от 13:00 часа в зала 503 на ИМИ\nи онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nGrätzer-Schmidt Theorem in arithmetical transfinite recursion\nще изнесе \nSoowhan Yoon\n(American University in Bulgaria).\nAbstract: 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 GS. Additionally\, other variants of GS will be explored as well. Some will be proved in ACA0\, while others will be shown equivalent to ATR0 over ACA0. Then\, we will discuss these results in the context of “Almost Theorems of Hyperarithmetic Analysis” (ATHA) by Shore in 2023. \n\nЛинк към zoom-стаята на семинара:\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-120/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR