Skip to main content
belated addendum
Source Link
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

Moti Gitik proved (assuming large cardinals) that all uncountable alephs can have cofinality ω. [All uncountable cardinals can be singular, Israel J. Math. 35 (1980), 61–88] I believe this may be the model you're looking for, but I don't know what happens to non-wellorderable sets in that model. According to the abstract copied below, this model is very close to what you have in mind.

Assuming the consistency of the existence of arbitrarily large strongly compact cardinals, we prove the consistency with ZF of the statement that every infinite set is a countable union of sets of smaller cardinality. Some other statements related to this one are investigated too.

Every wellorderable set $S$ in this model belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions. The proof is by induction on the cardinality of the infinite set $S$. As in the abstract, we may write $S = \bigcup_{i<\omega} S_i$ where $|S_i| < |S|$ for each $i$. By the induction hypothesis, each $S_i$ belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions, and thus $S$ belongs to this closure too.


Actually, every set $S$ in this model belongs to the closure of $\{\{s\} : s \in S\}$ under iterated countable unions; this is essentially what Gitik's Theorem 6.3 says.

Moti Gitik proved (assuming large cardinals) that all uncountable alephs can have cofinality ω. [All uncountable cardinals can be singular, Israel J. Math. 35 (1980), 61–88] I believe this may be the model you're looking for, but I don't know what happens to non-wellorderable sets in that model. According to the abstract copied below, this model is very close to what you have in mind.

Assuming the consistency of the existence of arbitrarily large strongly compact cardinals, we prove the consistency with ZF of the statement that every infinite set is a countable union of sets of smaller cardinality. Some other statements related to this one are investigated too.

Every wellorderable set $S$ in this model belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions. The proof is by induction on the cardinality of the infinite set $S$. As in the abstract, we may write $S = \bigcup_{i<\omega} S_i$ where $|S_i| < |S|$ for each $i$. By the induction hypothesis, each $S_i$ belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions, and thus $S$ belongs to this closure too.

Moti Gitik proved (assuming large cardinals) that all uncountable alephs can have cofinality ω. [All uncountable cardinals can be singular, Israel J. Math. 35 (1980), 61–88] I believe this may be the model you're looking for, but I don't know what happens to non-wellorderable sets in that model. According to the abstract copied below, this model is very close to what you have in mind.

Assuming the consistency of the existence of arbitrarily large strongly compact cardinals, we prove the consistency with ZF of the statement that every infinite set is a countable union of sets of smaller cardinality. Some other statements related to this one are investigated too.

Every wellorderable set $S$ in this model belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions. The proof is by induction on the cardinality of the infinite set $S$. As in the abstract, we may write $S = \bigcup_{i<\omega} S_i$ where $|S_i| < |S|$ for each $i$. By the induction hypothesis, each $S_i$ belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions, and thus $S$ belongs to this closure too.


Actually, every set $S$ in this model belongs to the closure of $\{\{s\} : s \in S\}$ under iterated countable unions; this is essentially what Gitik's Theorem 6.3 says.

addendum
Source Link
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

Moti Gitik proved (assuming large cardinals) that all uncountable alephs can have cofinality ω. [All uncountable cardinals can be singular, Israel J. Math. 35 (1980), 61–88] I believe this may be the model you're looking for, but I don't know what happens to non-wellorderable sets in that model. Well, accordingAccording to the abstract copied below, this model is very close to what you have in mind.

Assuming the consistency of the existence of arbitrarily large strongly compact cardinals, we prove the consistency with ZF of the statement that every infinite set is a countable union of sets of smaller cardinality. Some other statements related to this one are investigated too.

Every wellorderable set $S$ in this model belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions. The proof is by induction on the cardinality of the infinite set $S$. As in the abstract, we may write $S = \bigcup_{i<\omega} S_i$ where $|S_i| < |S|$ for each $i$. By the induction hypothesis, each $S_i$ belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions, and thus $S$ belongs to this closure too.

Moti Gitik proved that all uncountable alephs can have cofinality ω. [All uncountable cardinals can be singular, Israel J. Math. 35 (1980), 61–88] I believe this may be the model you're looking for, but I don't know what happens to non-wellorderable sets in that model. Well, according to the abstract copied below, this model is very close to what you have in mind.

Assuming the consistency of the existence of arbitrarily large strongly compact cardinals, we prove the consistency with ZF of the statement that every infinite set is a countable union of sets of smaller cardinality. Some other statements related to this one are investigated too.

Moti Gitik proved (assuming large cardinals) that all uncountable alephs can have cofinality ω. [All uncountable cardinals can be singular, Israel J. Math. 35 (1980), 61–88] I believe this may be the model you're looking for, but I don't know what happens to non-wellorderable sets in that model. According to the abstract copied below, this model is very close to what you have in mind.

Assuming the consistency of the existence of arbitrarily large strongly compact cardinals, we prove the consistency with ZF of the statement that every infinite set is a countable union of sets of smaller cardinality. Some other statements related to this one are investigated too.

Every wellorderable set $S$ in this model belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions. The proof is by induction on the cardinality of the infinite set $S$. As in the abstract, we may write $S = \bigcup_{i<\omega} S_i$ where $|S_i| < |S|$ for each $i$. By the induction hypothesis, each $S_i$ belongs to the closure of $\{\{s\}:s \in S\}$ under iterated countable unions, and thus $S$ belongs to this closure too.

Source Link
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

Moti Gitik proved that all uncountable alephs can have cofinality ω. [All uncountable cardinals can be singular, Israel J. Math. 35 (1980), 61–88] I believe this may be the model you're looking for, but I don't know what happens to non-wellorderable sets in that model. Well, according to the abstract copied below, this model is very close to what you have in mind.

Assuming the consistency of the existence of arbitrarily large strongly compact cardinals, we prove the consistency with ZF of the statement that every infinite set is a countable union of sets of smaller cardinality. Some other statements related to this one are investigated too.