Mathematical logic seminar - April 1 2014

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     Nam Trang    
Department of Mathematical Sciences
Carnegie Mellon University

Title: Guessing models


We define a class of guessing models, introduced by Viale and Weiss. The existence of guessing models is equivalent to the principle: every slender list has an ineffable branch. The latter, captures many combinatorial structures of supercompactness and yet can hold at successor cardinals, was isolated and studied by Weiss. We discuss consistency strength and prove some combinatorial consequences of the existence of guessing models.