Squares, ascent paths, and chain conditions
C Lambie-Hanson, P Lücke - The Journal of Symbolic Logic, 2018 - cambridge.org
The Journal of Symbolic Logic, 2018•cambridge.org
SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS §1. Introduction. The existence or
nonexistence of cofinal branches is one of the m Page 1 The Journal of Symbolic Logic Volume
83, Number 4, December 2018 SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS
CHRIS LAMBIE-HANSON AND PHILIPP LUCKE Abstract. With the help of various square
principles, we obtain results concerning the consistency strength of several statements about
trees containing ascent paths, special trees, and strong chain conditions. Building on a result …
nonexistence of cofinal branches is one of the m Page 1 The Journal of Symbolic Logic Volume
83, Number 4, December 2018 SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS
CHRIS LAMBIE-HANSON AND PHILIPP LUCKE Abstract. With the help of various square
principles, we obtain results concerning the consistency strength of several statements about
trees containing ascent paths, special trees, and strong chain conditions. Building on a result …
With the help of various square principles, we obtain results concerning the consistency strength of several statements about trees containing ascent paths, special trees, and strong chain conditions. Building on a result that shows that Todorčević’s principle .
Cambridge University Press