逻辑学研讨班
题目: Mutual Stationarity and Rudin-Keisler capturing
报告人:Dominik Adolf
摘要: A subset S of the Powerset of an infinite set X is stationary iff for every given algebra on X it contains at least one set closed under that algebra. Mutual Stationarity, first introduced by Foreman and Magidor, is a method by which we can relate stationary subsets on singular cardinals to stationary subsets on regular cardinals where stationarity is better understood. In this talk we will introduce a method of capturing potential mutual stationary sequences by non-principal measures on the powerset of a large cardinal which simultaneously project to a single normal measure. We will demonstrate how to realize a wide variety of mutual stationarity principles using this method. This is joint work with Omer Ben-Neria.
时间:11月19日,14:00-16:00
地点:明德楼B201-1 报告厅