Speaker:
Christoph Weiss
Institution:
UCI
Time:
Monday, June 4, 2012 - 4:00pm
Host:
Location:
RH 440R
We will present the combinatorial principles ITP and ISP, discuss how they strengthen the
tree property, and talk about their relative consistency.