Sakae Fuchino: Downward Lowenheim Skolem Theorems for stationary logics and the Continuum Problem
06/12/18 21:12
Tuesday, December 11, 2018 17:15
Room: D1-215
Speaker: Sakae Fuchino
Title: Downward Lowenheim Skolem Theorems for stationary logics and the Continuum Problem
Abstract. Downward Lowenheim Skolem Theorems of extended logics can be considered as reflection principles. In this talk we consider Downward Lowenheim Skolem Theorems of variations of stationary logic. Some of the strongest forms of reflection principles formulated in this way imply CH while some other imply that the continuum is very large. The results presented in this talk are further development of the results presented in the talk I gave last year in Wroclaw and will be a part of a joint paper with Hiroshi Sakai and Andre Ottenbreit Maschio Rodrigues.
Room: D1-215
Speaker: Sakae Fuchino
Title: Downward Lowenheim Skolem Theorems for stationary logics and the Continuum Problem
Abstract. Downward Lowenheim Skolem Theorems of extended logics can be considered as reflection principles. In this talk we consider Downward Lowenheim Skolem Theorems of variations of stationary logic. Some of the strongest forms of reflection principles formulated in this way imply CH while some other imply that the continuum is very large. The results presented in this talk are further development of the results presented in the talk I gave last year in Wroclaw and will be a part of a joint paper with Hiroshi Sakai and Andre Ottenbreit Maschio Rodrigues.