# Tagged Questions

17 views

### For every ordinal $\alpha$, there is a cardinal number greater then $\alpha$.

I am trying to prove that for every ordinal $\alpha$, there is a cardinal number greater then $\alpha$. Proof: $\alpha$ is a (well ordered) set. Take the set $P(\alpha)$. Assume that we know that for ...
86 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 ...
31 views

82 views

### Are the closed ordinals (apart from $0$ and $1$) precisely the regular cardinals?

Given a partially ordered set $P$, a collection of partially ordered sets, call it $\mathcal{Q}$, and an arbitrary function $f : P \rightarrow \mathcal{Q},$ we can form a new partially ordered set ...
121 views

### Cardinal numbers

Suppose $m, n$ are infinite ordinal numbers. $$a) m=n → |m|=|n|$$ $$b)|m|=|n| →m=n$$ $$c)m<n→ |m|<|n|$$ $$d)|\max{(m,n)}|< |m|+|n|$$ $$e)|m|<|n| →|m|^{|n|}<|n|^m$$ Which of the above ...
176 views

### Closed, unbounded subset of a cardinal.

I missed two lectures in my set theory course, and now I don't understand the homework problems. One is this: let $\kappa$ be a regular uncountable cardinal. Show that the following sets are closed ...
169 views

### Can we embed the ordinal and cardinal number systems into larger, more convenient systems of arithmetic?

We can embed $\mathbb{N}$ in a larger number system, such as $\mathbb{Z}$, $\mathbb{Q}$ or $\mathbb{R}$, for convenience. Now since $\mathbb{N}$ is extended by $\mathrm{Ord}$ and $\mathrm{Card}$, the ...
196 views

I'm confused about the notion of the cofinality of a cardinal. Since I think the source of the confusion is the Von Neumann cardinal assignment, my first question is: Question 0. Is there an article ...
64 views

### If $cf(\kappa)=\lambda$, then is every sequence of length $\lambda$ cofinal in $\kappa$?

Take $\omega_1$ for instance. Let's say I have a sequence of (distinct) ordinals of length $\omega_1$. Will this sequence be cofinal in $\omega_1$?
84 views

### Cardinal numbers are identified with the set of ordinals preceding them

Here is a description of cardinal number. Cardinal numbers are identified with the set of ordinals preceding them. Is this OK?
54 views

### Can we conclude that $|\prod_{\xi \in Ord, \xi=1}^{\xi<\alpha}\xi|=2^{|\alpha|}$ for all infinite ordinal $\alpha$ in $\mathsf{ZFC}$?

According to this question, $\prod_{\kappa \in Crd, \kappa=1}^{\kappa<\aleph_\alpha}\kappa$, the cardinal product of all positive cardinals smaller than a given infinite cardinal $\aleph_\alpha$ ...
186 views

### Is the class of all ordinals independent of set theory?

I am little confused with this. In any model of set theory (or is only in ZFC?), we start with an initial set, and then by transfinite recursion we build the universe of sets, which is a proper class. ...
131 views

### It is possible to generalize the “real” line to be able to embed $\omega_1$ or any uncountable ordinal into a finite segment of it?

This question is motivated from a previous question, but is in itself independent of it. So, I understand that it is not possible to embed $\omega_1$ or any uncountable ordinal into the real line, ...
75 views

### How to show this space $X$ is countably compact, first countable?

Consider the subspace $X$ of $(2^\omega)^+$, i.e., the smallest cardinal greater then $2^\omega$, equipped with the ordered topology consisting of all ordinals of countable cofinality. How to ...
117 views

### Why should the union of such a family of sets have cardinality $\aleph_1?$

Let $\mathcal A$ be a family of infinite countable sets which is linearly ordered by inclusion and such that $\bigcup\mathcal A$ is uncountable. I have to prove that $|\bigcup\mathcal A|=\aleph_1.$ I ...
247 views

### The real line has cardinality at most $\aleph_2$, but transfinite ordinal space has arbitrarily high cardinality: what is wrong?

In the context of supertasks, people and mathematicians are comfortable with the idea of transfinite ordinal time, that is, that time can be divided into an arbitrarily high number of steps. In most ...
417 views

### Why are infinite cardinals limit ordinals?

My book states this as obvious, but it isn't so trivial to me. thanks
89 views

The following is a lemma in Just/Weese on page 179: Lemma 17: Let $\kappa$ be an infinite cardinal. Then $\kappa$ is singular iff there exist an $\alpha < \kappa$ and a set of cardinals ...
94 views

### Question about proof of Hessenberg: $\kappa \cdot \lambda = \lambda$

The following is a theorem: (Hessenberg) Let $1 \le \kappa \le \lambda$ where $\lambda$ is an infinite cardinal. Then $\kappa \cdot \lambda = \lambda$. The proof in the book proceeds by transfinite ...
76 views

### Constructing a bijection between $\xi$ and $\xi + 1$

I did the following exercise, can you tell me if I have it right, thank you (Just/Weese p 176): Show that $|\xi + 1|$ is either finite or equal to $|\xi|$. (here $\xi$ is an ordinal) By ...
126 views

### Proving properties of enumeration of infinite cardinals

I am doing the following exercise from Just/Weese: where $F$ is defined as follows: (a) I'm not sure whether the following passes as "convince myself": Apparently $F$ is defined for all ...
73 views

### The product of the finite non-zero ordinals, and the product of the finite non-zero cardinals.

I am trying to study for a test I have on Set Theory, and after being given the practice test, I am having some big problems with simple things. One question I am having a lot of problems with is: ...
343 views

### What's the definition of $\omega$?

This is a follow up on a comment to one of my previous questions. What's the definition of $\omega$? Are the following equivalent definition of $\omega$: $\omega$ is the initial ordinal of ...
129 views

### Possible inaccuracy in Wikipedia article about initial ordinals

I quote from the Wikipedia article: "So (assuming the axiom of choice) we identify $\omega_\alpha$ with $\aleph_\alpha$, except that the notation $\aleph_\alpha$ is used for writing cardinals, and ...