The Ostaszewski square and homogeneous Souslin trees

From MaRDI portal
Publication:2017149

DOI10.1007/S11856-013-0065-0zbMATH Open1300.03024arXiv1105.2944OpenAlexW2094173414MaRDI QIDQ2017149FDOQ2017149

Assaf Rinot

Publication date: 25 June 2014

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Abstract: Assume GCH and let lambda denote an uncountable cardinal. We prove that if squarelambda holds, then this may be witnessed by a coherent sequence <Calpha|alpha<lambda+> with the following remarkable guessing property: For every sequence <Ai|i<lambda> of unbounded subsets of lambda+, and every limit heta<lambda, there exists some alpha<lambda+ such that otp(Calpha)=heta, and the (i+1)th-element of Calpha is a member of Ai, for all i<heta. As an application, we construct an homogenous lambda+-Souslin tree from GCH+squarelambda, for every singular cardinal lambda. In addition, as a by-product, a theorem of Farah and Velickovic, and a theorem of Abraham, Shelah and Solovay are generalized to cover the case of successors of regulars.


Full work available at URL: https://arxiv.org/abs/1105.2944





Cites Work


Cited In (12)


Recommendations





This page was built for publication: The Ostaszewski square and homogeneous Souslin trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2017149)