Full reflection of stationary sets below alephomega
Thomas Jech, Saharon Shelah
Abstract
It is consistent that for every n >= 2, every stationary subset of omegan consisting of ordinals of cofinality omegak where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omegan-1. We also show that this result is best possible.
Create a lesson
Related papers
Stalnaker's logical problem of conditionals is unsolvable
Alexander W. Kocurek, James Walsh, Yale Weiss
Strong completeness of the logic J
Juan P. Aguilera, Grigorii Stepanov
Lévy-Montague reflection is Π11-conservative over WKL0
Fedor Pakhomov
Contact relations on bounded distributive lattices and related structures
Ivo Düntsch, Rafał Gruszczyński
Embeddings of Propositional Logics into the Provability Logics S and D
Mashu Noguchi
Some results on NIP groups and their Ellis groups
Atticus Stonestrom