Variations on ◊
Keith Devlin · Journal of Symbolic Logic · 1979
Abstract Various equivalents and weakenings of the combinatorial principle ◊ are considered. The paper contains both absolute results and consistency results. Also included is a new characterisation of the notion of a stationary subset of ω1.