Nam Trang: Guessing models

CMU math logic seminar Tuesday April 1

Speaker: Nam Trang

Title: Guessing models

Abstract: 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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.