Institute of Mathematics CAS, Zitna 25, seminar room, 3rd floor, front building
I will present Baumgartner's proof (paper attached) of the consistency of the partition relation ω2 --> (ω2, ω : 2)2 without using large cardinals and talk about related results.