Variants and generalizations of Diamond^*

Sun, 28/12/2014 - 10:00
Speaker: 
Seminar: 
Place: 
Abstract: 

Some combinatorial principles were invented by Jensen, in his analysis of Godel's constructible universe. One of them is Diamond^*.

We will introduce variants and generalizations of Diamond^* and discuss when these principles hold and when they do not hold.