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

3
votes
0answers
18 views

Is the limit of a recursive sequence of recursive ordinals itself a recursive ordinal?

Is the limit of a recursive sequence of recursive ordinals itself a recursive ordinal? If so, is there a nice proof of this?
0
votes
1answer
34 views

A Question about cardinal numbers and homeomorphism

I'm studying my set theory lessons and I don't know if the following statement about homeomorphism between ordinal spaces is true or not and why. "If $\kappa$ is an infinite cardinal number then ...
-1
votes
1answer
54 views

Lindelöf subspaces in the ordinal space [closed]

How can we describe all Lindelöf subspaces of $$X = \omega_1 \times ( \omega_1+1).$$ Where ω1 is the first uncountable ordinal.
4
votes
1answer
80 views

$H(\kappa)$ a model of all the axioms of ZFC for $\kappa$ not inaccessible

Is this possible? For each cardinal $\kappa$, we can define $H(\kappa) = \{ x \mid |trclx| < \kappa\}$, where trcl is the transitive closure, and $|A|$ is the cardinality of $A$. For every regular ...
0
votes
1answer
42 views

Compactness of second-countability of $\omega$X$\omega_1$

Please discuss the following properties of the product space consisting of $\omega$X$\omega_1$: Is it compact? Is it 2nd countable? $\omega$ is the first infinite ordinal and $\omega_1$ is the ...
2
votes
2answers
46 views

Showing that a Transitive Set of Transitive Sets is an Ordinal

My definition of an ordinal is a transitive set that's well ordered by $\in$. Let $\alpha$ be a transitive set all of whose elements are transitive sets. Since every element of $\alpha$ is transitive, ...
0
votes
0answers
10 views

Is the following the idea behind the antisymetric property of the order on ordanals

I am trying to understand the claim that the anti-symmetry property of the order on ordinals is a consequence of the fact that no well ordered set is order isomorphic to one of its segments. Could ...
1
vote
2answers
44 views

unbounded class of ordinals not a set

A class $C$ of ordinals is unbounded just in case ∀α∈ORD (the class of all ordinals), there exists a β ∈ $C$ with α ∈ β. How would I show that no unbounded class of ordinals is a set? Do I need to ...
2
votes
1answer
35 views

Countable transitive model of ZFC and $\mathcal{P}(\omega)$

Let $\mathbb{M}$ be a countable transitive model of ZFC. I understand that $\omega^\mathbb{M} = \omega$ but $\mathcal{P}(\omega)^\mathbb{M} \neq \mathcal{P}(\omega)$, for ...
2
votes
1answer
41 views

for $x\in V_{\omega}$ is then $\operatorname{rank}(\operatorname{tc}(x))=\operatorname{rank}(x)$?

Let $x\in V_{\omega}$, is $\operatorname{rank}(\operatorname{tc}(x))=\operatorname{rank}(x)$? while $\operatorname{tc}(x)$ is the minimal transitive set ${a}$ such that $x\subseteq a$ i what to show ...
4
votes
2answers
104 views

Ordinal exponentiation identity with natural sum of exponents

This is related to a previous question on How to think about ordinal exponentiation? One possible definition for the natural product $\alpha\otimes\beta$ of ordinals is based on Cantor Normal Forms ...
6
votes
2answers
85 views

Embedding $\omega_1$ in the hyperreals

I've been trying to show that there exists a subset of the hyperreals which has order type $\omega_1$, that is, that there exists a subset $A \subseteq {}^*\mathbb{R}$ for which there is an order ...
0
votes
0answers
37 views

Least ordinal $\alpha$ that $\omega^\alpha > \beta$ is a successor ordinal

Let $\beta$ be an ordinal. The least ordinal $\alpha$ that $\omega^\alpha > \beta$ is a successor ordinal. This is true, but I'm not sure why. Can someone give me a hint?
0
votes
1answer
67 views

How to deal with probability problems in proper class sample spaces?

Here my focus is mainly on $Ord$ and questions such as: An ordinal is chosen by random. What is the probability of the event that it is a cardinal number? A coin is tossed proper class many ...
8
votes
4answers
125 views

Is $0^\omega=1$?

According to a definition of ordinal exponentiation defined in Kunen's Set Theory: An Introduction to Independence Proofs (pp. 26), we define $$\begin{align} \alpha^0&=1\\ ...
2
votes
1answer
30 views

to show that there is no injection from a finite successor of finite ordinal to itself

im trying to prove this proposition let $\alpha \in \omega$ so i want to show that there is no injection (not necessarily keeps order) from $\alpha +1$ to $\alpha$ without using cardinality or the ...
6
votes
1answer
51 views

Why are all von Neumann ordinals contained in each other?

I'm a high school student and I'm giving a lecture in my high school math class on ordinal numbers, and I would like to prove that the von Neumann ordinals are well-ordered by set membership. The ...
6
votes
1answer
97 views

Regarding functions on $\omega_1$

I've been trying to prove a property that apparently all functions $g: \omega_1 \rightarrow \omega_1$ have, where $\omega_1$ is the least uncountable ordinal. For $\alpha \in \omega_1$, define ...
1
vote
1answer
48 views

Are well-orders of the same recursive length recursively isomorphic?

If the ordinal length of $A$ and $B$ is the same recursive ordinal, does it follow that there is a recursive one-one order-preserving correspondence between $A$ and $B$?
0
votes
1answer
30 views

Example of a well-ordered set with a specific order-type

An example of a set with order type $\omega^2$ is $\mathbb{N}\times\mathbb{N}$ with a lexicographic order. An example of a set with order type $\omega^3$ is ...
2
votes
1answer
64 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
54 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
65 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
25 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
63 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
43 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
30 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
47 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
78 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
46 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
142 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
41 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
67 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
41 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
45 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
47 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
29 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
20 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
21 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
40 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
42 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
46 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
135 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
34 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
62 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
63 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
52 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
36 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 ...