Abstract
We construct a model in which there is a strongly compact cardinal κ such that the set S(κ,κ⁺) = { a∈ Pκ κ⁺: o.t.(a) = (a∩κ)⁺ } is non-stationary.
John Krueger. "Strong compactness and stationary sets." J. Symbolic Logic 70 (3) 767 - 777, September 2005. https://doi.org/10.2178/jsl/1122038913
Information
Published: September 2005
First available in Project Euclid: 22 July 2005
zbMATH: 1091.03019
MathSciNet: MR2155265
Digital Object Identifier: 10.2178/jsl/1122038913
Rights: Copyright © 2005 Association for Symbolic Logic