Sakae Fuchino: Downward Lowenheim Skolem Theorems for stationary logics and the Continuum Problem

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.