More fine structural global square sequences
- Author(s): Zeman, Martin;
- et al.
Published Web Locationhttps://doi.org/10.1007/s00153-009-0156-0
We extend the construction of a global square sequence in extender models from Zeman  to a construction of coherent non-threadable sequences and give a characterization of stationary reflection at inaccessibles similar to Jensen’s characterization in L.