SOLOVARY proved that every regular uncountable κ is the union of κ disjoint stationary sets (ref. [1], Theorem 85). Let κ be an ineffable ordinal, and let A(?)κ. If A is an ineffable set, then A is a stationary se...SOLOVARY proved that every regular uncountable κ is the union of κ disjoint stationary sets (ref. [1], Theorem 85). Let κ be an ineffable ordinal, and let A(?)κ. If A is an ineffable set, then A is a stationary set and A is the union of κ disjoint stationary sets. We ask the following question: Is A the union of κ disjoint ineffable sets? We will give a positive answer for the question.展开更多
文摘SOLOVARY proved that every regular uncountable κ is the union of κ disjoint stationary sets (ref. [1], Theorem 85). Let κ be an ineffable ordinal, and let A(?)κ. If A is an ineffable set, then A is a stationary set and A is the union of κ disjoint stationary sets. We ask the following question: Is A the union of κ disjoint ineffable sets? We will give a positive answer for the question.
