Research seminar se nekoná. Zájemci mohou místo toho navštívit Logic seminar, Matematický ústav, pondělí 9.3. 16:00-17:30, https://www.math.cas.cz/index.php/events/seminar/5. Bude mluvit Radek Honzík, název: „A note on generic models of bounded arithmetics in forcing extensions“, abstrakt: We analyze the Boolean-valued random forcing B(M,Omega) in bounded arithmetics, as developed by Krajicek in „Forcing with random variables and proof […]