# Tagged Questions

29 views

45 views

### Insistence on limit ordinal in Kunen's proof of reflection.

I'm reading for an exam on set theory using Kunen's first edition, and we've more or less been told that the reflection theorem will come up. The proof constructively yields an ordinal ...
31 views

### $\sigma$-field and Uncountable ordinal

I have been trying to get my head around this question. Any help greatly appreciated. Let $\mathscr{C}$ be any class of subsets $\Omega$ with $\emptyset,\Omega\in \mathscr{C}$. Define ...
69 views

### The order-theoretic structure of the ordinal numbers in non-standard models

I have read the following. Proposition. Let $T$ denote the first-order theory of $\mathbb{N}$ in the language of arithmetic. Then any countable non-standard model of $T$ is order isomorphic to a ...
39 views

### A set which is $\in$-transitive and well ordered by $\in$ is an ordinal

A set $x$ is said to be $\in$-transitive if $\forall y$ $\forall z$($y \in x$ and $z \in y \Rightarrow z \in x$). A set $x$ is said to be an ordinal if $x$ and every member of $x$ is ...
46 views

### Ordinal arithmetic question

The question is: find $\delta \le \omega_1$ and $\rho \lt \omega$ such as $\omega_1 = \omega \cdot \delta + \rho$. My guess is that $\delta = \omega_1$ and $\rho = 0$, abut I don't know how to prove ...
86 views

### What do you need to know about ordinals to understand Zorn's Lemma's proof?

I'm trying to understand the proof of Zorn's Lemma but the one which does not use ordinals (Halmos' proof) is extremely long and I really feel I get lost somewhere along the way. On the other hand, ...
98 views

### Proof that $\omega_1$ is countable (where is the flaw?)

I have discovered a "proof" of the fact, that $\omega_1$ can be countable, contradicting its definition. It mustn't assume axiom of choice, so I guess there are some parts of this construction which ...
69 views

### Proof of Hartogs' Lemma

I'm reading "Sets, Models and Proofs" by I. Moerdijk and J. van Oosten to have some basic understanding of set theory. There's one step in "Hartogs' Lemma" proof that I don't see how to it works: I ...
68 views

### Tarski's fixed point theorem

My professor stated the following "For every normal function $f \colon ON \to ON$ and for every ordinal $\beta$ there exist an ordinal $\gamma \ge \beta$ such that $f(\gamma)=\gamma$". (normal ...
79 views

### Simplify this expression of ordinal numbers: $(ω+1) ω²$ [closed]

Let $ω$ be the ordinal of the natural numbers. Simplify $(ω+1) ω²$
61 views

### Prove $\bigcup \omega_1 = \omega_1$

This is a question regarding ordinals and probably requires some background knowledge of ordinal arithmetic. I will list what I hope is the relevant information for this question: $\omega_1$ is ...
121 views

### Why is it that $\omega + \omega_1 = \omega_1$?

I have seen some other questions about the proofs around ordinals and $\omega$ and $\omega_1$, but some of the answers have confused me. An ordinal $\alpha$ is countable if $\alpha < \omega_1$. ...
56 views

### A canonical injection $f:\alpha\to[0,1]$ for an arbitrary countable ordinal $\alpha$

Is there a canonical injection $f:\alpha\to[0,1]$ for an arbitrary countable ordinal $\alpha$? As long as $\alpha$ is of the form $m\cdot\omega + n$ for $m,n<\omega$, this is fairly simple, but if ...
54 views

### Embedding $\omega_1$ into the direct sum/product of $\Bbb R$'s and $\Bbb N$'s

I'm trying to find a way to visualize the first uncountable ordinal $\omega_1$. This is rather difficult, as the visualization tactic that I often use for countable ordinals - namely, the "matchstick" ...
85 views

### Do the ordinals exist before the universe of sets is constructed?

Should I worry about the following appeIarance of circularity in ZFC set theory? In constructing the universe of sets, you start with the empty set and then keep taking the power set over and over. ...
130 views

### If $\alpha$ and $\beta$ are ordinals, prove that $\alpha ^ \beta$ is a countable ordinal.

In this question I am supposing that both $\alpha$ and $\beta$ are ordinals. My definition of an ordinal is that: $x$ is an ordinal if $x$ is well-ordered by $\in$ and $x$ is $\in$-transitive. So ...
### Prove $\epsilon_0$ < $\omega_1$ [duplicate]
This is a question in ordinal arithmetic. (If anyone has read 'Classic Set Theory' by Derek Goldrei, this question comes from page 252.) $\epsilon_0$ = sup {$\omega$, $\omega^\omega$, ... } and ...