Prefer a chat interface with context about you and your work?
More fine structural global square sequences
We extend the construction of a global square sequence in extender models from Zeman [8] to a construction of coherent non-threadable sequences and give a characterization of stationary reflection at inaccessibles similar to Jensenās characterization in L.