Prefer a chat interface with context about you and your work?
The relative consistency of a \large cardinal" property for ω 1