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

MaRDI QIDQ6372103zbMATH OpenFDO

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

Publication date 6 July 2021

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)

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]].

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)