Answer by Monroe Eskew for Singular successors without large cardinals
I think the following is an easy way to produce a model with two singular successors. Start with a model of $V=L$, and let $\kappa$ be a regular cardinal. First force with $Col(\kappa^{+\omega+1},<...
View ArticleAnswer by Mohammad Golshani for Singular successors without large cardinals
The thesis by Dimitriou "Symmetric Models, Singular CardinalPatterns, and Indiscernibles" contains, among many other interesting results, a proof of the following theorem:Theorem. If $V$ is a model of...
View ArticleSingular successors without large cardinals
Assuming the axiom of choice we have that successor cardinals are regular. However as one of the first examples of uses of forcing show, it is consistent relative to $\sf ZF$ that $\omega_1$ is...
View Article
