A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Definable tree property for successors of cardinals
[article]
2015
arXiv
pre-print
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.
arXiv:1511.04598v2
fatcat:j6oes7tgkjbxfk7ioo2gbztab4