Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum

DOI10.1007/s00153-020-00751-6OpenAlexW3141427055MaRDI QIDQ2663345

André Ottenbreit Maschio Rodrigues, Sakaé Fuchino, Hiroshi Sakai

Publication date: 16 April 2021

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.03348

zbMATH Keywords

stationary logicLaver functioncontinuum problemstrong downward Löwenheim Skolem theoremgenerically large cardinalsmixed support iterationsuperhuge cardinal

Mathematics Subject Classification ID

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

Related Items (1)

Reflection principles, generic large cardinals, and the continuum problem

Cites Work

• Unnamed Item
• On the existence of skinny stationary subsets
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• The diagonal reflection principle
• Saturation Properties of Ideals in Generic Extensions. I
• Laver sequences for extendible and super-almost-huge cardinals

This page was built for publication: Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum