We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Strong downward Löwenheim-Skolem theorems for stationary logics, III -- mixed support iteration

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^{\aleph_0})^+$. We show, among other things, that the reflection down to $< 2^{\aleph_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]].
Subjects: Logic (math.LO)
MSC classes: 03E35, 03E55, 03E65, 03E75, 05C63, 54E35
Cite as: arXiv:2107.02577 [math.LO]
  (or arXiv:2107.02577v1 [math.LO] for this version)

Submission history

From: Sakaé Fuchino [view email]
[v1] Tue, 6 Jul 2021 12:34:08 GMT (49kb)

Link back to: arXiv, form interface, contact.