Joint Laver diamonds

Set theory seminarFriday, September 19, 201412:00 pmGC 6417Note new time and location

Miha Habič

Joint Laver diamonds

The CUNY Graduate Center

A Laver diamond for a given large cardinal $\kappa$ is a function $\ell$, defined on $\kappa$, such that $j(\ell)(\kappa)$ can take any reasonable value, where $j$ is a relevant large cardinal embedding. A sequence of such functions is called jointly Laver or a joint Laver diamond if they can be made to take any given sequence of such values at the same time via a single embedding. In the talk we will consider questions about when such sequences outright exist, when their existence is equiconsistent with and when their existence is consistency-wise strictly stronger than the large cardinal in question.

Miha Habič is a graduate student at the CUNY GC. He got his Masters Degree in Mathematics at the University of Ljubljana, Slovenia. His interests lie in the area of infinitary computability, forcing and large cardinals.

Posted by on September 12th, 2014