Middle diamond

Under certain cardinal arithmetic assumptions, we prove that for every large enough regular cardinal, for many regular < , many stationary subsets of concentrating on cofinality has the "middle diamond". In particular, we have the middle diamond on { < : cf() = }. This is a strong negation of uniformization. Key words and phrases. Set theory, Normal ideals, Middle Diamond, Weak Diamond. I would like to thank Alice Leonhardt for the beautiful typing. This research was partially supported by the Israel Science Foundation. Pub. 775 First Typed at Rutgers - 6/13/01 Latest Revision - 03/Dec/9 Typeset by AMS-TEX 1 

• Type: Journal
• Year: 2005
• Where: AML
• Authors: Saharon Shelah
• Keywords: AML 2005, Cardinal Arithmetic Assumptions, Middle Diamond, Stationary Subsets