2
votes
1answer
32 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 ...
0
votes
1answer
22 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 ...
2
votes
2answers
24 views

Existence of a function from ordinal to limit ordinal of the same cardinality

Let $\alpha$ be a limit ordinal, such that $\big | \alpha \big | = \omega$. Prove that there is a strictly increasing function $f: \omega \to \alpha$ such that for all $\zeta < \alpha$ there is $n ...
1
vote
1answer
24 views

Ordinal Arithmetic sufficient condition that a + c < b + c

I know that in general ordinal addition is not strictly increasing in the left argument (as in $0+ \omega = n+\omega$). Now I have a fixed countable ordinal $\delta$ and a natural number $k$. My ...
1
vote
1answer
15 views

Weak monotonicity of ordinal addition

I'm trying to prove the weak monotonicity of ordinal addition, i.e. if $\alpha \leq \beta$, then $\alpha + \gamma \leq \beta + \gamma$. The proof is not all that difficult, but I want to make sure I ...
2
votes
2answers
34 views

Prove using transfinite induction that if ordinals $\alpha$ and $\beta$ are countable, then so is $\alpha + \beta$.

This question requires using transfinite induction. I plan to fix $\alpha$ and then do transfinite induction on $\beta$. Recall that an ordinal $\alpha$ is countable if $\alpha < \omega_1$, where ...
1
vote
1answer
52 views

Prove that for every three ordinals $\beta \lt \gamma \Rightarrow \alpha+\beta \lt \alpha+\gamma$

Prove that for every three ordinals $\alpha,\beta,\gamma$ we have $\beta \lt \gamma \Rightarrow \alpha+\beta \lt \alpha+\gamma$ It's obvious if all of them are finite, also if only alpha is ...
0
votes
3answers
42 views

What is the usual definition of “ordinal number”?

My definition for the ordinal number is "von-Neumann ordinal". I thought this is the only definition for the ordinal, but i found some other definitions in wikipedia. What is the usual definition of ...
1
vote
1answer
32 views

Short question about ordinals multiplication definition from wiki

Why does $2\cdot\omega$ looks like this: $0_0 < 1_0 <0_1 <1_1 ...$ ? Is that another way to represent $1_0 < 1_1 < 2_0 <2_1 <3_0<3_1 ...$ ? Edit: also, why does it equal to ...
1
vote
1answer
23 views

Prove or disprove - order types and constants

Let $k$ and $l$ be natural numbers and let $\omega=[(\mathbb N, \le)], \ \eta=[(\mathbb Q, \le)]$ be order types (or ordinals). Prove or disprove the following: if $k+\eta=l+\eta$ ...
1
vote
1answer
54 views

Ordinality of a Set

What is the difference between Ordinal number and cardinal number of a set?....I have a confusion in understanding the difference between the two.Can anyone help me to understand these two things? ...
1
vote
1answer
22 views

Prove every nonzero ordinal is either successor or limit

I am trying to prove the statement in the title. Here is my partial proof: Let $n$ be a nonzero ordinal. It is obvious that $\cup_{\beta<n}\beta \subseteq n$. If $\cup_{\beta<n}\beta = ...
0
votes
2answers
50 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\} \\ & ...
1
vote
1answer
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$ ...
1
vote
1answer
25 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 ...
0
votes
1answer
33 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?
1
vote
1answer
51 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
1
vote
1answer
37 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$, ...
2
votes
3answers
59 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 ...
2
votes
1answer
26 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 ...
0
votes
1answer
51 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,$ ...
0
votes
2answers
25 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 ...
1
vote
0answers
30 views

Find ordinal of a strange ordered set

I was asked the following question: for every $x\in \mathbb R$ we define the set $Q(x)=\{q \in \mathbb Q|q\leq x\}$, the set of all rational numbers less or equal to $x$. Let $M=\{Q(x)|x\in \mathbb ...
0
votes
2answers
78 views

Some questions about elementary set theory (cardinal and ordinal numbers)

I have three questions about elementary set teory and i don't figure out how to solve them: 1)Let $X$ a subset of the cardinal number $2^{\aleph_0}$ (seen as an initial ordinal). Is true or false ...
3
votes
1answer
33 views

Ordinal inequality - simple question

We are given 2 ordinals: $\alpha$ and $\beta$ where $\beta$ does not have a maximal number (So it's transfinite, right?) We are asked to find $\alpha,\beta$ such that: $\alpha+\beta > ...
1
vote
2answers
76 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 ...
3
votes
1answer
39 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 ...
0
votes
1answer
41 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)$ ...
1
vote
1answer
70 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 ...
2
votes
2answers
67 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$ ...
1
vote
0answers
30 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 ...
2
votes
1answer
32 views

Every woset is an ordinal.

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 ...
1
vote
3answers
82 views

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 ...
1
vote
2answers
54 views

For all infinite cardinals $\kappa, \ (\kappa \times \kappa, <_{cw}) \cong (\kappa, \in).$

I don't understand the proof to the a/m claim. How we know that $\eta < \kappa$ and $(\alpha,\beta)<_{cw} (0, \eta) $ and hence $h: \mu \to \eta \times \eta$ is injective? Appreciate if anyone ...
1
vote
1answer
37 views

If $\alpha,\beta$ are at most countable, so are $\alpha+\beta,\alpha\cdot\beta,\alpha^\beta$

If $\alpha$ and $\beta$ are at most countable ordinals, prove the following are at most countable: $\alpha + \beta$ $\alpha \cdot \beta$ $\alpha^{\beta}$
1
vote
1answer
29 views

A problem on ordinal arithmetic.

Let $0 < \alpha \leq \beta$ be ordinals. Could anyone advise me on how to prove there exists $\delta $ and $\xi$ such that $\xi < \alpha$ and $\alpha \ . \delta + \xi = \beta?$(ordinal ...
0
votes
1answer
52 views

Reducing ordinals in the representation of a limit ordinal as $\bigcup_{\beta < \alpha} \beta$

Let $\alpha$ be a limit ordinal such that $\kappa$ < $\alpha$ < $\kappa^{+}$ where $\kappa$ is initial ordinal (so $|\alpha| = \kappa$). I want to know whether or not I can find a sequence ...
1
vote
1answer
46 views

Prove that for any $m, n \in\omega$ that (i) $m + 0 = m$, (ii) $m + n^+ = (m + n)^+$

I am getting repeatedly lost trying to approach this question: Prove that for any $m, n \in\omega$ that (i) $m + 0 = m$, (ii) $m + n^+ = (m + n)^+$ I can fairly well grasp the idea that the ...
0
votes
3answers
135 views

What are ordinal numbers? [closed]

I know about the cardinal numbers and infinite cardinals and I know that Cardinals and ordinals are somehow related, but I just don't understand how ordinals work What exactly are ordinals and how ...
1
vote
1answer
77 views

Let $\gamma $ be an ordinal. Prove there is an ordering preserving $f:\gamma \to \mathbb{R}$ iff $\gamma < \omega_1.$

Let $<$ be the usual ordering on $\mathbb{R}.$ If $\gamma$ is an ordinal, then $f:\gamma \to \mathbb{R}$ is ordering preserving if $\forall \alpha \in\gamma \forall \beta \in \gamma [\alpha \in ...
2
votes
2answers
36 views

Existence of certain $\left\langle{\alpha_n | n \in \omega}\right\rangle$

Let $\beta$ be a countable limit ordinal. Prove $\exists$ sequence $\left\langle{\alpha_n | n \in \omega}\right\rangle$ with the following properties: $(1): \alpha_0 = 0\;;$ $ (2): \forall n \in ...
2
votes
1answer
53 views

Functions from ordinals to ordinals

I'm trying to solve this problem, which appears in Schimmerling's "A Course in Set Theory." Problem. Find two functions $$f:\omega\rightarrow\omega\cdot2$$ and ...
2
votes
2answers
91 views

Proving, for every three ordinals $\alpha,\beta,$ and $\gamma$, that $\alpha^{\beta+\gamma}=\alpha^{\beta}\alpha^{\gamma}$

I am trying to prove, for every three ordinals $\alpha,\beta,$ and $\gamma$, that $\alpha^{\beta+\gamma}=\alpha^{\beta}\alpha^{\gamma}$. Proof is by induction on $\gamma$. Basis: If $\gamma = 0$, ...
3
votes
1answer
90 views

Ordinals: if $\alpha < \omega^{\beta}$ then $\alpha + \omega^{\beta} = \omega^{\beta}$

I'm trying to proof that if $\alpha < \omega^{\beta}$ then $\alpha + \omega^{\beta} = \omega^{\beta}$, where $\omega$ is the least infinite ordinal. I started with transfinite induction on ...
0
votes
1answer
52 views

How to compute a Von Neumann Successor - ∪∪7?

I wonder if I have taken the correct approach to demonstrating what ∪∪7 is, using Von Neumann's proposal? And if I am indeed correct? My answer appears a little odd to me! Question: What is ∪∪7? By ...
0
votes
0answers
38 views

Additively indecomposable ordinals

As a continuation to my question here: Ordinal inequalities. I have tried to write down a proof for this claim: If $\alpha$ is of the form $\omega^\delta$ for some ordinal $\delta$, then, For every ...
0
votes
1answer
68 views

Ordinal inequalities

I have a problem with the following exercise: First a definition: $ \mathord{\in} = \{\langle x,y \rangle; x \in y \}$ Exercise: Show that the following conditions are equivalent: a. For every ...
2
votes
1answer
31 views

Can ordinals multiplication be defined by recursion?

I am trying to figure out weather ordinals multiplication be defined by transfinite recursion. It seems a bit problematic to me since multiplication is a function $f: \alpha \times \beta \rightarrow ...
0
votes
2answers
71 views

the Class of Ordinals is a set?

Why the class of ordinals On is not a set? Please dont tell me it's well-ordered till you tell me what you mean by an ordering on something that you dont know in first place if it is a set or not.
3
votes
2answers
65 views

$f: \omega_1 \to \omega_1$. $\forall$ $\alpha$ $\exists$ $\beta > \alpha $ with $f(\beta)=\beta $.

Prove: if $f: \omega_1 \to \omega_1$ is an increasing, continuous, unbounded, function, then $\forall$ $\alpha$ $\exists$ $\beta > \alpha $ with $f(\beta)=\beta $. Can anyone give me a tip?