# Tagged Questions

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

15 views

### Ordinal-indexed exponentation

I have read from somewhere that $2^{\aleph_0}$ is uncountable. However, I have also read from somewhere else that $2^\omega=\omega$. Do the above statements contradict with each other? In ...
60 views

### $\epsilon_0$ is closed under addition, multiplication, exponentiation of ordinals

Question: Let $f: \Bbb{N}\rightarrow \text{Ord}$ (where "Ord" is the set of ordinals) be defined inductively by: $$f(0)=\omega\\ f(n^+)=\omega^{f(n)}$$ Let $\epsilon_0=\{\sup f(i) : i \in \Bbb{N}\}.$ ...
126 views

### Does a $\Pi_2^0$ sentence becomes equivalent to a $\Pi_1^0$ sentence after it has been proven?

I heard that the P vs NP question is equivalent to a $\Pi_2^0$ sentence, and that the Riemann hypothesis is equivalent to a $\Pi_1^0$ sentence. Many known mathematical theorems state that some ...
53 views

### Ordinals and Countability

I've been watching Prof Su's (Harvey Mudd College) incredible lecture on Ordinals and Transfinite Induction, and I have a few related questions. He starts by drawing and examining three sets of dots, ...
39 views

### Ordinal pair $(α,β)$ such that $α<β$ and $Th(α,<) = Th(β,<)$

A number of weeks ago I was thinking of finding an example of a complete countable theory with only one binary predicate that is not $ω$-categorical. I later realized that $Th(\mathbb{Z},<)$ works, ...
34 views

82 views

64 views

### An ordinal number which satisfies $\omega^{\alpha} = \alpha$

Is there an ordinal such that $\omega^{\alpha} = \alpha$? It seems to me there should be, but I can't explicitly point it out. I know it is possible to prove $\alpha\leq\omega^{\alpha}$, but the ...
55 views

### Order type of the set of all the limit elements in $\omega^{\omega}$

What do you think is the order type of $\{\alpha\in\omega^{\omega}:\alpha\ \text{is a limit ordinal number}\}$? My first thought was $\omega$, but when I visualize the above mentioned set, $\omega^2$...
96 views

### Is it possible to formalize all mathematics in terms of ordinals only?

Our experience shows that all finitary mathematical objects could be encoded using the natural numbers, and all operations on those objects could be expressed in terms of a few basic operations on ...
50 views

### Ordinal arithmetic inequality

I have 3 ordinals $\alpha,\beta,\gamma$, $\gamma\neq 0$. Is this implication true? $$\alpha<\beta\implies\gamma\cdot\alpha<\gamma\cdot\beta$$ I have reason to believie it is not, namely ...
66 views

### What's the least class of ordinals closed under successor and the limits of omega-sequences? [duplicate]

What is the smallest class $S$ of ordinals that contains $0$, closed under successor and the limits of omega-sequences, i.e.,  \forall i \in \omega [\alpha_i \in S] \Rightarrow \sup_{i} \alpha_i \in ...
56 views

### Is noetherianity really about cardinals or ordinals?

If $\kappa$ is any cardinal, then one may define a "$\kappa$-Noetherian" ring as a ring such that for any module that has a generating set $S$ satisfying $|S|< \kappa$, then any submodule also has ...
40 views

### Set theory proof for $\min C = \bigcap _{\alpha \in C} \alpha$

Let $C$ be a set of ordinals a) $\sup C$ is the least ordinal $\beta$ such that for all $\alpha\in C$, $a\leq \beta$. b) If $C$ is transitive (and thereby ordinal), then $\sup C \notin C$ if an only ...
121 views

### Two ways of defining rank of a set

I am studying set theory, and I have some difficulties in understanding how people define the notion of rank there (I hope, specialists in logic will excuse me for this). As far as I understand, ...
74 views

Let $M$ be a transitive model of ZFC. For convenience let assume that $M$ is countable. Now let us consider the least undefinable ordinal $\vartheta_M$ which is not definable from elements in $M$ and $... 1answer 48 views ### Elements of the power set of$\textit{On}$are elements of$\textit{On}$? I don't know the truth value of this statement so this is just my own attempt. I am attempting to prove this in NBG set theory. Let$X \in \textit{P(On)}$By the definition provided in my notes$X \...
Let greek letters be ordinals. I want to prove $\alpha(\beta + \gamma) = \alpha\beta + \alpha\gamma$ by induction on $\gamma$ and I already know it holds true for $\gamma = \emptyset$ and $\gamma$ a ...