14
$\begingroup$

Question. Does $\text{GCH}$ imply the existence of a non-special $\aleph_2$-Aronszajn tree ?

Remark 1. By a result of Jensen, it is consistent that $\text{GCH}$ holds and all $\aleph_1$-Aronszajn trees are special.

Remark 2. The above question is related to the famous question ``does $\text{GCH}$ imply the existence of an $\aleph_2$-Souslin tree ?''.

Improve this question
$\endgroup$
4
  • 2
    $\begingroup$ Here is a reference to your recent joint paper with Yair Chayut on this topic for further reading of those who might be interested in knowing more! $\endgroup$
    – Morteza Azad
    Commented Oct 24, 2016 at 1:38
  • 1
    $\begingroup$ Funny. This getting bumped just when David Asperó is about to give a talk about this very topic in Amsterdam at the KNAW 2018 Colloquium... :P $\endgroup$
    – Asaf Karagila ♦
    Commented Aug 24, 2018 at 8:43
  • $\begingroup$ @AsafKaragila Aspero's silde is now avalable Special $\aleph_2$-Aronszajn trees and GCH. I may post an answer to this question later. $\endgroup$
    – Mohammad Golshani
    Commented Aug 28, 2018 at 7:33
  • 3
    $\begingroup$ Mohammad, maybe it's time to point out your new paper on arXiv? The community service bumped this up again, today. I think it knows. $\endgroup$
    – Asaf Karagila ♦
    Commented Sep 21, 2018 at 23:06

2 Answers 2

Reset to default
5
$\begingroup$

It turned out the answer to the question is no. David Aspero and I, have proved the following:

Theorem. Assuming the existence of a weakly compact cardinal, there exists a generic extension of the universe in which $GCH$ holds and all $\aleph_2$-Aronszajn trees are special.

See The special Aronszajn tree property at $\aleph_2$ and $GCH$.

Comments and suggestions on the paper are welcome.

Improve this answer
$\endgroup$
0
$\begingroup$

Yes, this is a result by Specker: Specker, E.. "Sur un problème de Sikorski." Colloquium Mathematicae 2.1 (1949): 9-12.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Torres-Prez. Your answer is not correct, Specker's construction gives a special $\aleph_2$-Aronszajn tree. I'm asking for non-special ones. $\endgroup$
    – Mohammad Golshani
    Commented Oct 5, 2017 at 7:23
  • $\begingroup$ In fact I think the question is open and quite old. $\endgroup$
    – Mohammad Golshani
    Commented Oct 5, 2017 at 7:24

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .