What is the status of the assertion "There are arbitrarily large cardinals with the tree property"?

Of course, if you want your cardinals with the tree property to be strongly inaccessible, then you're asking about weakly compact cardinals. But what if you don't want them to be strongly inaccessible?

I see it's consistent that no successor cardinal has the tree property. I suspect this means it's consistent that no regular cardinal has the tree property?

As a non-set-theorist, I'm not sure whether this question is trivial, or hopeless!

• In $L$, no successor cardinal has the tree property, so if you assume there are no weakly compact cardinals, then in $L$, no uncountable regular cardinal has the tree property. Jan 23 '18 at 6:08
• The difficult question is to get tree property at successor regular cardinals $> \aleph_1.$ The famous question of Magidor asks if it is consistent that all such cardinals have the tree property, and it is widely open, despite many partial results. Jan 23 '18 at 6:12
• Does that mean it's easy to get the tree property at regular limit cardinals which are not strong limit cardinals? Jan 23 '18 at 7:19

Paul B. Larson mentions a partial result in A Brief History of Determinacy, page 48. Sadly he doesn't give a precise source.

Foreman, Magidor and Schindler showed that if there exist infinitely many cardinals $δ$ above the continuum such that the tree property holds at $δ$ and at $δ^+$, then [the axiom of projective determinacy] holds. The hypothesis of this statement had been shown consistent relative to the existence of infinitely many supercompact cardinals by James Cummings and Foreman. It is not known whether the conclusion can be strengthened to $\text{AD}^{L(\mathbb{R})}$.

So the tree property for all successors >$\omega_1$ has to be a very strong statement, at least as strong as the existence of infinitely many Woodin cardinals. This is the best partial/related result I know of.

EDIT: See this paper, which has the following abstract:

Starting from a strong cardinal and a measurable cardinal above it, we construct a model of ZFC, in which, for every singular cardinal $δ$, $δ$ is strong limit, $2^δ = δ^{+++}$, and the tree property holds at $δ^{++}$. It answers a question of Friedman, Honzik and Stejskalova. We also produce, relative to the existence of a strong cardinal and two measurable cardinals above it, a model of ZFC in which the tree property holds at all regular even cardinals. The result answers questions of Friedman, Halilovic and Honzik .

Which answers the question from the title, i.e. it is possible to have arbitrarily large cardinals with the tree property (relatively to very large cardinals).

• As I think about it more, I think what I really wanted to know about is the assertion "There exists a cardinal $\kappa$ such that for all regular $\lambda \geq \kappa$, $\lambda$ has the tree property". You're saying the consistency strength of this statement (or rather, a variant just for successors) for $\kappa = \aleph_2$ is very high (and possibly inconsistent). I suspect it doesn't make much difference to allow $\kappa$ to vary... Jan 24 '18 at 22:34
• If every regular cardinal $\geq\kappa$ has the tree property, then there will be infinitely many pairs of successive cardinals above the continuum with the tree property, whatever $\kappa$ you chose. So it always have high consistency strength by the result above. Jan 25 '18 at 13:35
• @JulianBarathieu The reference is The consistency strength of successive cardinals with the tree property Jan 30 '18 at 5:15
• There's a different version of the history paper on my webpage which has references in it : users.miamioh.edu/larsonpb/Cabal_Determinacy.pdf Jan 31 '18 at 16:28
• I just changed my accepted answer to this one since the edit actually answers the title question. The irony is that the edit answers the title question via a paper of Mohammad Golshani.... whose answer was the one I had previously accepted! Jul 21 '18 at 14:10

If one starts with a weakly compact cardinal $\kappa,$ then there exists a forcing extension in which all cardinals and cofinalities are preserved (in particular, $\kappa$ remains a regular limit cardinal) and in which the tree property holds at $\kappa$. In fact $\kappa$ can become the least weakly Mahlo cardinal.