Prefer a chat interface with context about you and your work?
Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum