# Tagged Questions

25 views

### Finding two functions, $f, g$, such that $\mathrm{sup}(g \circ f[\omega]) < \mathrm{sup} (g[\omega + \omega])$

I've been working for some time on Schimmerling's A course on Set Theory, and, thanks to you guys, I'm now almost finishing chapter 3 on ordinals (hah!). In one of the last exercises, he ask us to ...
55 views

49 views

### Ordinal $10^\omega$

$10^\omega$ = $10 \cdot 10 \cdot 10 \cdot ...= \lim_{\alpha \lt \omega} (10^\alpha) = \omega$. Are my thoughts correct? Is this sufficient explanation, given the ordinal arithemtic proved from ZFC?
415 views

### Biggest countable ordinal number

I need to find biggest countable ordinal number. But I am sure there is no one, if I understand proofs and definitions correctly. So here are my idea: Suppose there is biggest countable ordinal number ...
50 views

37 views

### Element of ordinal a subset of the same ordinal

I've got a very short question in set theory. I am currently reading P. T. Johnstone's book Notes on Logic and set theory, and the proof of the fact that Every element of an ordinal is a subset of ...
45 views

### Is a limit ordinal necessarily a cardinal?

Maybe this is a trivial question. I see that every infinite cardinal is necessarily a limit ordinal, but is the converse true ?
41 views

### Is the cardinality of an ordinal, $\alpha$ less than $\alpha$?

Let $k^+=\{\alpha : \alpha \hspace{2mm} \text{is an ordinal,and} \hspace{2mm} |\alpha|<\kappa\}$ where $k^+$ is an infinite cardinal. I am trying to understand the proof the the following ...
22 views

### Prove: Suppose $\alpha > 1$ and $\beta, \gamma$ are ordinals with $\beta < \gamma$. Then $\alpha^\beta < \alpha^\gamma$.

In this question, $\alpha$, $\beta$ and $\gamma$ are ordinals. I want to prove this by transfinite induction on $\gamma$, which typically has two or three cases. I'm considering three cases: the base ...
29 views

### On the proof that every ordinal is either the initial ordinal, a successor ordinal or a limit ordinal.

I was reading this paper http://www.math.umn.edu/~garrett/m/algebra/notes/14.pdf (p. 206, or p. 8 on a pdf) on Naive Set Theory on the proof that every ordinal is either the initial ordinal (empty ...
31 views

### Conjecture about ordinal exponentiation: $n^ω=ω$ $\forall n\in\mathbb{N}$-{0,1}

Let $ω$ be the ordinal of the natural numbers. I think this is true: $n^ω=ω$ $\forall n\in\mathbb{N}-${0,1} Am i right? If I am wrong, is it true for any $n\in\mathbb{N}$?
68 views

### Ordinal addition is associative

We've been asked to teach ourselves a unit on ordinals for our final exam tomorrow, I grasp how to prove that certain ordinals are distinct but I am having trouble figuring out a proof to show ordinal ...
23 views

### An alternative succinct proof needed for trivial cardinality fact

Let $|X|$ denote the cardinality of a set, i.e. the least ordinal $\alpha$ such that there is a bijection between X and $\alpha$. For any sets $X$ and $Y$ we write $X\preccurlyeq Y$ if the exists an ...
31 views

53 views

### Definition of $\omega_1$, comparing it to $2^\mathbb{N}$?

I'm taking an Intro to Topology class, and we just started defining ordinals. We defined finite ordinals as: \begin{align*} 0 & = \varnothing \\ 1 & = \{0\} \\ 2 & = \{0,1\} \\ & ...
23 views

### Equivalence between two definitions of successor ordinal

So, here am I again struggling with Schimmerling. Now I just want to check if understood correctly how to relate the two definitions of a successor ordinal. We can define the successor of $\alpha$ ...
38 views

### Axiom of regularity and ordinal ranks

I am trying to prove that the following two statements are equivalent: Axiom of regularity $\forall x \exists \alpha (\alpha$ is an ordinal and $x \in V_\alpha)$ I believe I understand how to ...
38 views

### Transitive sets and the Mostowski collapse

I was wondering if every set can be "transitized" - that is, made into a transitive version of itself. Is this basically what the Mostowski collapse says?
53 views

### Prove: $2^{\aleph_0}\not=\aleph_{\epsilon_0}$

Prove: $2^{\aleph_0}\not=\aleph_{\epsilon_0}$ I would like a hint for this problem
42 views

### Ordinal numbers and onto function

So, another one in set theory (I think I am falling inlove with the subject). The question itself as presented: Given $\Bbb Z$ is ordered by $<'$, where $a<'b$ iff $a\ge 0, a<b$, ...
86 views

### Countable subset bounded in uncountable set

Let $(B, \prec)$ be a well ordered set with the ordinal $\omega_1$. Show that every countable subset of B is bounded in $(B, \prec)$. Let A be such a subset. A is a subset of a well ordered set and ...
36 views

### Set of Cardinals

Let $A$ be a set of cardinals. Prove that there is a cardinal that that is greater than every cardinal in $A$. Assume that there isn't such a cardinal. Then for any cardinal $x$ there is $y\in A$ such ...
55 views

### Ordering ordinals by size [closed]

Well define $\omega,\omega_1, \omega_2$ to be the first three infinite ordinals. Order them according to their size: $2\cdot\omega_1+\omega\cdot3+3,$ $\omega\cdot3+\omega_1+3,$ ...
28 views

### If $n$ is a finite ordinal, either $n=\emptyset$, or there exists a finite ordinal $m$ such that $n=m \cup\{m\}$

I have a difficulty with this statement : If $n$ is a finite ordinal, either $n=\emptyset$, or there exists a finite ordinal $m$ such that $n=m \cup\{m\}$. My professor's proof is totally unclear. I ...
35 views

83 views

### What does $\alpha+\gamma$ mean when $\alpha$ and $\gamma$ are well-ordered sets?

I was asked to prove the following: let $\gamma$ be a well ordered set with the following property: for any $\alpha$ and $\beta$ well ordered sets, if $\alpha+\gamma=\beta+\gamma$ then ...
44 views

### Well ordered Set with $\le$ order type

Let $(x,\le)$ be well-ordered set and let $f: \ x \rightarrow x$ be monotonically increasing function. Prove that $\forall a \in x$ $$a \le f(a)$$ Find an example of set x linearly ...
43 views

### Are the following sets isomorphic or have the same order type?

Are the following sets isomorphic or have the same order type ? $(\mathbb R, \le) ,\ (\mathbb R,\ge)$ $(\mathbb Q, \le), \ (\mathbb R, \le)$ $(\mathbb N,\ge ), \ (\mathbb N,\le)$ ...
75 views

### Sets and ordinals - homework questions

I have two questions which I don't even know how to start. I would like you to give some hints. I know it would be better that I show some work, but I really don't know where to begin... The question ...
72 views

### Proof of Proposition 0.17 in Folland wrong?

Proposition 0.17 in Folland's Real Analysis (2e) is If $X$ and $Y$ are well ordered, then either X is order isomorphic to $Y$, or $X$ is order isomorphic to an initial segment in $Y$, or $Y$ ...
38 views

### Well ordering of type epsilon one

I have been very interested in the countable ordinals for awhile now, but one thing has eluded me despite my research into the subject. What is a well-ordering of the natural numbers corresponding to ...
I use this notation: a well ordered set $Y$ is an ordinal if for every $a\in Y$, $Y_a=a$, where $Y_a=\{y\in Y|y< a\}$. Now, I know that for every woset there is an isomorphism from that woset to a ...
### Why $\omega+1$ and $\omega^2$ are not cardinal numbers?
I see the following definition of cardinal number in notes: An ordinal $\alpha$ is a cardinal number if $|\beta|<|\alpha|$ for all $\beta\in\alpha$. Why $\omega+1$ and $\omega^2$ are not cardinal ...