# Tagged Questions

In the ZF set theory ordinals are transitive sets which are well-ordered by $\in$. They are canonical representatives for well-orderings under order-isomorphism. In addition to the intriguing ordinal arithmetics, ordinals give a sturdy backbone to models of ZF and operate as a direct extension of ...

37 views

### How many limits of limits are there in $\omega_1$?

We know there are $\omega_1$-many limit ordinals less than $\omega_1$. What about ordinals that are limits of limit ordinals? Are there also $\omega_1$-many of these?
87 views

### How to view beth number as ordinal?

The following is the snippet of the paragraph given in my lecture note: (Note: $\beth$ is the beth-number.) (When I introduced $\beth_\alpha$ I told you that it was to be a particular size of ...
86 views

### Height of an ordered field

I'm studying ordered fields, and a specific notion regarding ordered fields that I will denote here by their "height". If $k$ is an ordered field, and $\alpha$ is a non-empty ordinal, a ruler of ...
83 views

### Proving that $\langle \omega+1, \leq \rangle$ and $\langle \omega + \omega^*, \leq \rangle$ are not elementarily equivalent

This is an exercise from Kees Doet's Basic Model Theory. The basic idea is to show that an ordering of type $\omega + 1$ is not isomorphic to an ordering of type of $\omega + \omega^*$, where ...
81 views

### order of infinite countable ordinal numbers

I'm trying to understand ordinal arithmetic. If one had an ordered list of the some subset of countable ordinal numbers, what order would the following 6 countably infinite ordinals be in? If the ...
140 views

50 views

### Prove that for $\alpha$ an ordinal, $\alpha \le \omega^\alpha$.

Prove that for $\alpha$ an ordinal, $\alpha \le \omega^\alpha$. I assume the easiest proof is via induction, but I do not know what to do if $\alpha$ is a limit ordinal.
79 views

173 views

### Ordinals - motivation and rigor at the same time

Can someone provide a description of ordinals within ZFC in a rigorous way that exhibits motivation? Every description or explanation I see in the literature or on the Internet is either too formal ...
38 views

### Question about $\text{non}(\mathsf{nonstat}_\gamma)$

A lemma in Kunen's (2011) set theory states that if $\gamma$ is a limit ordinal with $\kappa=\text{cf}(\gamma)>\omega$, then $\text{add}(\mathsf{nonstat}_\gamma)$ $=$ ...
89 views

### monotonic laws for ordinal subtraction

I have to prove some monotonic laws for ordinals. It's quite comfortable for me to show monotonic laws of ordinal addition (e.g. $\beta\leq\gamma\Rightarrow\alpha+\beta\leq\alpha+\gamma$). But when it ...
84 views

### Limit Ordinals as Infinite Ordinals and other questions

I am studying set theory and I am confused in the following: Are limit ordinals the same as infinite ordinals? I would say yes since the least non-zero limit ordinal is $\omega$. Infinite limit ...
28 views

### How to prove that every countable compact Hausdorff space is homeomorphic to a well-ordered set with its order topology? [duplicate]

I encountered this problem in a textbook: Let $X$ be a countable compact Hausdorff topological space, I was asked to prove that $X$ is always homeomorphic to a (necessarily countable) topological ...
87 views

### Using ordinal arithmetic calculate the following ordinal numbers

(ω + 1) x ω (ω + 1) x 2 For Question #2, I can simplify to the point where I get (ω + (ω + 1)), but I'm not sure how to proceed from there
I have to prove that for every $\alpha$ in $[0, \Omega)$, there exists a continuous function $f$ from $[0, \Omega)$ to $\mathbb R$ such that the pre-image of $0$ is $\{α\}$. I really have no idea ...