Strong downward L\"owenheim-Skolem theorems for stationary logics, III -- mixed support iteration

arXiv2107.02577MaRDI QIDQ6372103FDOQ6372103

Authors: Sakaé Fuchino, André Ottenbreit Maschio Rodrigue, Hiroshi Sakai 

Publication date: 6 July 2021

Abstract: Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the L"owenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the situations in the models obtained by mixed support iteration of a supercompact length and then collapsing another supercompact cardinal to make it $(2^{alep{h}_0}{)}^{+}$. We show, among other things, that the reflection down to $<2^{alep{h}_0}$ of the non-metrizability of topological spaces with small character is independent from the reflection properties studied in [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]].

Mathematics Subject Classification ID

Infinite graphs (05C63) Metric spaces, metrizability (54E35) Consistency and independence results (03E35) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Applications of set theory (03E75)

This page was built for publication: Strong downward L\"owenheim-Skolem theorems for stationary logics, III -- mixed support iteration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6372103)