On Some Properties of Shelah Cardinals
We present several results concerning Shelah cardinals.
math.LO↗
arXiv subjects
Ali Sadegh Daghighi
Publications and source records attributed to Ali Sadegh Daghighi.
Definable tree property for successors of cardinals
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.
math.LO↗
The foundation axiom and elementary self-embeddings of the universe
We consider the role of the foundation axiom and various anti-foundation axioms in connection with the nature and existence of elementary self-embeddings of the set-theoretic universe.
math.LO↗