# Tagged Questions

77 views

### Is there any infinite quantity small enough to be affected by finite changes?

Hilbert's paradox of the Grand Hotel shows us, among other useful things, that the cardinality of any infinite set is a quantity equal to n more than itself for any finite n. I am interested in ...
65 views

### What cardinals do we actually need?

I recently heard of a great variant of set theory called "Pocket Set Theory" in which the only two cardinalities are that of $\mathbb N$ and that of $\mathbb R$ (and the latter is a proper class). ...
72 views

### $\aleph_\alpha^{\aleph_1} = \aleph_\alpha^{\aleph_0}\cdot 2^{\aleph_1}$ for all $\omega \le \alpha < \omega_1$

I'd like someone to check my proof that $\aleph_\alpha^{\aleph_1} = \aleph_\alpha^{\aleph_0} \cdot 2^{\aleph_1}$ for all $\omega \le \alpha < \omega_1$. First, let's prove that ...
66 views

### Question about cardinals in ZF

In Lévy's basic set theory refers a theorem of Bernstein as exercise problem: Theorem. (Bernstein) Let $\mathfrak{a,b}$ be cardinals. If $\mathfrak{a+a=a+b}$, then $\mathfrak{b\le a}$. I try to ...
45 views

### A problem with an assumption in a previous lemma for the proof of Silver´s Theorem on SCH in Jech´s “Set Theory”

In the Jech´s textbook proof of Silver´s Theorem, specifically in the Lemma 8.15, there are an assumption in the beginning of the proof. First, the Lemma 8.15 says that, under the assumption that ...
83 views

### $\aleph_\omega$ and large ordinals?

Assuming the GCH, each time you take the powerset of an aleph number, the subscript increases by one. So there is $\aleph_0, \aleph_1, \aleph_2\ldots \aleph_\omega\ldots \aleph_{\epsilon_0}\ldots$ and ...
112 views

40 views

### Functions with cardinals as domain

How do we actually define a function with cardinals as domain? For example, take domain of the function as $\aleph_1$. Do we define it for all cardinal numbers strictly less than $\aleph_1$?
33 views

### Cardinal Arithmetic, Regular Cardinals, and Exponentiation

I cannot solve a simple cardinal exponentiation/regularity exercise. Let $\kappa$ be a regular cardinal. Why is the cardinal $\kappa^{\lt \kappa}=\sum_{\alpha<\kappa}\kappa^\alpha$ regular as ...
47 views

### Cardinal Arithmetic 2: $\beth_{\omega_1}$

This is question is simple to write but (I think) hard to solve. Does the following equality hold? $$\bigcup_{{\beta}<\beth_{\omega_1}}\beth_{\omega+1}(|\beta+\omega|) =\beth_{\omega_1}$$ Where ...
73 views

### Partitioning an infinite cardinal number

Can we partition an infinite cardinal greater than aleph null, into countable number of cofinal subsets? Can we have restriction on the cardinality of cofinal subsets? For example, suppose $\alpha$ ...
65 views

### Cardinal Arithmetic: $\beth_\omega$

Is the following equality independent of ZFC: $$\bigcup_{\aleph_{\beta}<\beth_{\omega}}2^{\aleph_{\beta}}=\beth_\omega$$ Consistent: Now that the equality is consistent with ZFC since it holds ...
44 views

### Is the cardinality of the continuum weakly Mahlo?

Is $2^{\aleph_0}$ a weakly Mahlo cardinal? Can it be? That is, are there conditions (such as the negation of the continuum hypothesis or something) under which it is, and other conditions under which ...
22 views

### Collection of sets with a given cardinality $\kappa$ is not set [duplicate]

Show that collection of all sets with cardinality $\kappa\neq0$, is not set. I'll state my approach and I need to see whether this idea is precise/precisable or not : First let $K$ be the set ...