Stationary diamond at a regular cardinal

ID: stationary-diamond-at-a-regular-cardinal

A sequence , indexed by a stationary subset of a regular uncountable cardinal , guesses every stationarily often: is stationary. This extends the usual stationary diamond principle at .

New to topics? Read the docs here!