Tuesday, December 11, 2018, 17:15
Wrocław University of Technology, 215 D-1
Speaker: Sakae Fuchino (Kobe University)
Title: Downward Lowenheim Skolem Theorems for stationary logics and the Continuum Problem
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.