Variants and generalizations of Diamond^*

שלחו לחבר
Seminar
Speaker
Efrat Taub (BIU)
Date
28/12/2014 - 11:20 - 10:00
Place
Room 201, Building 216
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.