Natural Strengthenings of the Tree Property -- An Introduction to ITP and ISP

Printer-friendly version
Speaker: 
Christoph Weiss
Institution: 
UCI
Time: 
Mon, 06/04/2012 - 4:00pm
Host: 
Martin Zeman
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.