Resumen de Coherent sequences and threads

Ernest Schimmerling

• The combinatorial principle ?(?) says that there is a coherent sequence of length ? that cannot be threaded. If ?=?+, then the related principle ?? implies ?(?). Let ?2 and X?. Assume both ?(?) and ?? fail. Then there is an inner model N with a proper class of strong cardinals such that XN. If, in addition, ?20 and n