  It is proved that the consistency strength of having definable tree property
for successors of all regular cardinals is the consistency strength of having
proper class many small large cardinals which are defined very similar to
indescribables but are much weaker in consistency strength. Also the
consistency strength of definable tree property for successor of a singular
cardinal is reduced to the existence of a supercompact cardinal and a
measurable above it.
