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 ...

learn more… | top users | synonyms

1
vote
1answer
45 views

(If exists) a set of all ordinals that set is an ordinal?

In set theory (ZF) an ordinal is a transitive set of transitive sets. Thus (if exists) a set of all ordinals gives a contradiction therefore there is no set of all ordinals. But what is wrong with ...
3
votes
1answer
50 views

Is $\omega_1$ metrizable?

Following Urysohn's metrization theorem, I would like to prove or disprove that $\omega_1$ is metrizable. I know it is hausdorff, but I'm not sure whether or not it is second countable, and I'm at ...
3
votes
3answers
57 views

Proving that $ω_1$ is locally compact

I'm trying to show that $ω_1$ is locally compact, but when doing so, I need to show something else, which got me a bit stuck on. I'm taking a $\alpha\in ω_1$, so $\{\alpha\}$ is an open set. Since ...
1
vote
0answers
18 views

Subsets of $ \mathbb Q $ of order type $ \omega^{\alpha}$ for each countable ordinal $\alpha $.

My introductory text in Set Theory (Stillwell) includes an exercise (6.3.1) asking for an explicit example of a subset of $ \mathbb Q $ or order type $ \omega^2 $. This seems straight forward enough. ...
1
vote
1answer
62 views

If $X$ is a subset of $\omega_{\alpha}$ such that $|X| < \aleph_{\alpha}$, then $|\omega_{\alpha} - X| = \aleph_{\alpha}$

If $\alpha=0$, then $\omega_0=\mathbb{N}$ and $\aleph_0=$ countable. So $|\omega_{\alpha} - X| = \aleph_{\alpha}$ becomes $|\mathbb{N}-X|=|\mathbb{N}|$ which is true (the function $f:\mathbb{N} ...
1
vote
0answers
41 views

Ordinals as Trees

I'm trying to understand countable ordinals and their tree representation. I understand that $\omega$ is the first "non branching tree" of infinite height. I also understand that the exponent of ...
1
vote
0answers
26 views

Comprehending ordinals: from $\omega^\omega$ through $\omega^{\omega^2}$ to $\varepsilon_0$

I am currently trying to comprehend ordinal numbers by finding an order on some countable set (like natural numbers or tuples of natural numbers) that is isomorphic to some ordinal. For an instance, ...
1
vote
0answers
35 views

Chinese remainder theorem for infinite equations & equations of infinities

The Chinese remainder theorem is a very well-known theorem of arithmetic and algebra. Inspired by the following paper in model theory, Li Rong Yu, Li Bo Luo - The Generalization of the Chinese ...
2
votes
1answer
77 views

A few questions on $\omega_1$

I'm trying to understand several things regarding $\omega_1$ and trying to get a better feeling of it. First question is - is $\omega_1$ a connected space? I think it isn't, but not really sure how ...
1
vote
2answers
43 views

What is the smallest infinite ordinal that is not order isomorphic to a reordering of the natural numbers?

I've been working on a particular set theory problem for a while and essentially I've hit a roadblock because of this question. I just need to know what this ordinal is, because I have a sneaking ...
4
votes
3answers
135 views

An easy to understand definition of $\omega_1$?

I have two things I'm not sure in 100% about them. The first, is $\omega_1$. I have a little "feeling" of it, but if I'll be asked to define it - I don't know where to begin from. Perhaps it is ...
2
votes
1answer
40 views

Cardinality: is it true that $|X^\mathcal{inj}| \leq 2^{|X|}$?

Definition. Whenever $X$ is a set, write $X^\mathcal{inj}$ for the collection of all injections $f$ such that: $f$ has codomain $X$ There exists an ordinal $\alpha$ such that $f$ has domain ...
1
vote
0answers
53 views

Prove that ordinal multiplication is left distributive

Suppose $\alpha, \beta$ and $\gamma$ are ordinals. Prove the distributive law $\alpha \cdot ( \beta + \gamma) = \alpha \cdot \beta + \alpha \cdot \gamma$. The following is my proof: Proof: We use ...
1
vote
1answer
18 views

In what sense $\alpha \times \alpha$ is the initial segment $(0,\alpha)$ in $Ord \times Ord$?

This is from Jech's book on set theory: "We define a well ordering of the class $Ord \times Ord$ of ordinal pairs. Under this well ordering, each $\alpha \times \alpha$ is an initial segment of ...
1
vote
0answers
33 views

Ordinal arithmetic and functions

I have two function $G$ and $F$ defined on ordinals and I know that $$G(\alpha +\omega )\subseteq F(\gamma +\alpha+\omega)$$ when $G(\alpha)\subseteq F(\gamma)$ and $\alpha$ is a limit ordinal. I ...
0
votes
1answer
43 views

Definition of continuity of ordinal function

In the book Introduction to Set Theory' by Hrbacek and Jech, chapter $6$ Ordinal Numbers, section $6$ Normal Form, I don't understand the definition of continuity of ordinal numbers. Ordinal ...
1
vote
0answers
46 views

show that ordinal multiplication is associative

Prove that ordinal multiplication $\alpha \cdot (\beta \cdot \gamma) = (\alpha \cdot \beta) \cdot \gamma$ is associative by using the following facts: $$\beta \cdot 0=0$$ $$\beta \cdot (\alpha ...
0
votes
0answers
28 views

'Popular mathematics' resource about infinite ordinals

The 'popular mathematics' literature (think Martin Gardner, William Dunham, Hofstadter, and the like) abounds with material on the mathematics of infinite cardinals, starting - and quite often ending ...
0
votes
1answer
19 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 ...
1
vote
1answer
17 views

A limit ordinal $\gamma$ is indecomposable if and only if $\alpha + \gamma = \gamma$ if and only if $\gamma = \omega^{\alpha}$ for some $\alpha$. [duplicate]

I am trying to prove ex 2.13 from Jech's book on set theory: Ex 2.13: A limit ordinal $\gamma$ is indecomposable if and only if $\alpha + \gamma = \gamma$ if and only if $\gamma = \omega^{\alpha}$ ...
3
votes
0answers
37 views

If a linearly ordered set $L$ has the property that every order-preserving injection $L \rightarrow L$ is expansive, is $L$ necessarily well-ordered?

Given a poset $P$, call a function $f : P \rightarrow P$ expansive iff $f(x) \geq x,$ for all $x \in P$. Now suppose a linearly ordered set $L$ has the property that every order-preserving injection ...
1
vote
1answer
37 views

Introduction to Set Theory(Ordinal Numbers)

Lemma: If $\alpha$ is an ordinal number, then $\alpha \not \in \alpha$ Proof: If $\alpha \in \alpha$, then the linearly ordered set $(\alpha, \in_{\alpha})$ has an element $x=\alpha$ such that $x \in ...
0
votes
1answer
42 views

Question regarding addition of order types

I have been reading through Herbert Endertons introductory book on set theory as I have stumbled upon a claim that baffled me through the day. As anyone I need sleep so I ask here for help. Namely ...
1
vote
4answers
127 views

Are $1+ω$ and $ω+1$ isomorphic?

In set theory, $1+ω$ is defined as the ordinal number of ordinal sum of sets $\{a\}$ and ℕ. Also $ω+1$ is defined as the ordinal number of ordinal sum of sets $\Bbb N$ and $\{a\}$. You know what the ...
0
votes
1answer
31 views

Ordinal multiplication property: $\alpha<\beta$ implies $\alpha\gamma\le\beta\gamma$

I'm having trouble proving the following two ordinal multiplication properties. If $\alpha, \beta$, and $\gamma$ are such that $\alpha \lt \beta$ and $\gamma \gt 0$, then $\alpha\gamma \le ...
1
vote
3answers
56 views

the smallest transfinite ordinal number

My guess is that $\omega$ is the smallest transfinite ordinal number. To prove this, let $\beta$ be any transfinite ordinal number and let $\operatorname{ord}(B, \le)= \beta$. And I need to show that ...
2
votes
2answers
54 views

Ordinal numbers addition property: $b<c$ implies $b+a \le c+a$

I'm having trouble proving the following property of ordinal numbers. If $a, b, c$ are ordinal numbers such that $b \lt c$, then $b+a \le c+a$. I first started by assuming $g$ as an order ...
1
vote
2answers
48 views

$\kappa\cdot\kappa= \kappa,$ for infinite cardinals

I am trying to understand the proof that uses a maximal-lexicographic ordering. For an infinite ordinal $\kappa,$ the canonical well-ordering of $\kappa \times \kappa,$ denoted by $<_{cw}$ is ...
1
vote
1answer
62 views

Is it possible to iterate a function transfinite times?

Let $f:A\rightarrow A$ be a function. We can simply define $f\circ f$, $f\circ f\circ f$, etc., for each given natural number inductively. $f^{(0)}=id_A$ $\forall n\in\omega \qquad f^{(n+1)}=f\circ ...
1
vote
2answers
32 views

How does cf(cf $\alpha$) = cf $\alpha$?

Assume $\alpha > 0$ is a limit ordinal, and cf $\alpha=$ the least ordinal $\beta$ such that there is an increasing $\beta$-sequence $\langle \alpha_\xi \, \colon\, \, \xi < \beta\rangle$ that ...
0
votes
0answers
12 views

How to compare two ordinals given in finite variable Veblen function?

The two-variable Veblen function can be generalized to finitely many variables. Wikipedia describes this generalization as: $$\gamma \mapsto \varphi(\alpha_n,\cdots,\alpha_{i + ...
1
vote
1answer
34 views

cardinals and ordinals, problem with proper class

A while ago I wanted to educate myself about cardinals and ordinals and stubled across this pdf (enjoyed it a great deal!). Visit www.math.ksu.edu/~nagy/real-an/ap-c-ord.pdf to see the pdf! It was ...
1
vote
1answer
32 views

Question about the proof of this lemma: If $\alpha$, $\beta$ are ordinals, then either $\alpha \subset \beta$ or $\beta \subset \alpha.$

Proof: Clearly $\alpha \cap \beta$ is an ordinal, $\alpha \cap \beta = \gamma.$ Then $\gamma = \alpha$ or $\gamma = \beta$. For, if not, then $\gamma \not= \alpha$ and $\gamma \not= \beta$. Then ...
3
votes
1answer
51 views

What are $\in$-well orderable classes?

$V$ is not $\in$-well ordered but $Ord$ is. Is $Ord$ the unique proper class of the universe which is $\in$-well ordered?
2
votes
1answer
26 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 ...
3
votes
1answer
92 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 ...
0
votes
2answers
61 views

How to define an isomorphism between $^\omega\omega$ and $\omega^\omega$?

Let $^\omega\omega$ be the set of all functions $x: \omega \to \omega$. Define $A = \{x \in ^\omega\omega \; | \; x \text{ has finite support}\}$, where by "finite support" I mean that the set $\{x(n) ...
1
vote
0answers
40 views

ind-completion and ordinals

Given a category $C$, we have its ind-completion $Ind(C)$ whose objects are filtered diagrams in $C$. Assuming the axiom of choice, is any object in $Ind(C)$ isomorphic, in $Ind(C)$, to an ordinal ...
2
votes
3answers
79 views

increasing sequence in $\omega_1$

I want to prove that a (countable) increasing sequence in $\omega_1$ converges to some point. Here is my idea: I first try to find the limit point. We know any point in the increasing sequence (say ...
0
votes
2answers
61 views

Ordinal existence

Is there any ordinal $\alpha$ such that $\omega ^ {\omega ^ \alpha} = \alpha$? Could you please suggest me how to even try to solve this?
1
vote
1answer
55 views

Prove $\omega_1$ is first countable

Given a well order (W,$\le$), where W is uncountable, and $\omega_1$:= {x$\in$W: only countably many y$\in$X s.t. y $\le$ x}, prove $\omega_1$ is first countable. I saw a proof saying that {(a,x]: a ...
1
vote
1answer
56 views

why $\alpha ,\beta,\gamma$ :$(\beta + \gamma)\alpha = \beta\alpha + \beta \gamma$ doesn't hold?

this rule doesn't hold for all ordinals $\alpha ,\beta,\gamma$ :$(\beta + \gamma)\alpha = \beta\alpha + \beta \gamma$. I tested many examples but all of them holds for it ! does this hold ? $(B \cup ...
0
votes
1answer
33 views

How to show $A_1 \approx A_2 \iff \mathrm{card}(A_1)=\mathrm{card}(A_2)$

For any set $A_1$ and $A_2$, let us define the relation $\approx$ if there exists a bijection between $A_1$ and $A_2$. Then I want to show that $A_1 \approx A_2 \iff ...
1
vote
1answer
48 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 ...
1
vote
0answers
38 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 ...
3
votes
1answer
73 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 ...
5
votes
0answers
62 views

Raising a partial function to the power of an ordinal

Consider a set $X$, and let $f : X \rightarrow X$ denote a partial function. Then for natural $n$, we can define $f^n$ as iterated composition, e.g. $f^2 = f \circ f$. Now suppose that $X$ is also ...
0
votes
1answer
43 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 ...
0
votes
1answer
48 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 ...
2
votes
1answer
53 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?