Mykyta Narusevych (PhD student, MFF UK) will give a survey talk regarding forcing in arithmetics. There are no regular talks this semester, so Mykyta’s talk is specific for next week. Monday 17.3.2025 Time: 16:30, department of logic, C116, Celetna ulice Title Forcing in Bounded Arithmetic Abstract To show that a theory does not prove a […]