Abstract
The questions concerning existence of Aronszajn and Souslin trees are of the oldest and most dealt-with in modern set theory. There are many results about existence of h+-Aronszajn trees for regular cardinals A. For these cases the answer is quite complete. (See Jech [6] and Kanamory & Magidor [8] for details.) The situation is quite different when A is a singular cardinal. There are very few results of which the most important (if not the only) are Jensen’s: V = L implies K-Aronszajn, K-Souslin and special K-Aronszajn trees exist iff K is not weaklycompact [7]. On the other hand, if GCH holds and there are no A+-Souslin trees for a singular h, then it follows (combining results of Dodd-Jensen, Mitchel and Shelah) that there is an inner model (of ZFC) with many measurable cardinals. In 1978 Shelah found a crack in this very stubborn problem by showing that if A is a singular cardinal and K is a super-compact one s.t. cof A < K < A, then a weak version of q ,* fai1s.l The relevance of this result to our problem was found by Donder through a remark of Jensen in [7, pp. 2831 stating that if 2’ = A+, then q ,* is equivalent to the existence of a special Aronszajn tree. Shelah, in [lo], had shown that the situation can be collapsed down to Xo+l so we get Cons(ZFC + there is a super-compact cardinal) implies Cons(ZFC + there are no X,+,-special Aronszajn trees). In the X, case (of Silver and Mitchel) the nonexistence consistency result for Aronszajn trees followed the result for special Aronszajn trees and used similar methods in the proof. A natural hope was that the same scheme will work for the Shelah result. Maybe for a singular A above a large enough cardinal, there can be no A+-Aronszajn trees. If this is true, then maybe by collapsing the large cardinal we could get the consistency of : “there are no rC,+,-Aronszajn trees”. In this paper we show that this is not the case. Theorem 1 shows the consistency with the existence of a super-compact
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.