# Tagged Questions

45 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?
75 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 ...
58 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?
52 views

78 views

### Order-preserving injections of ordinals into $[0,1]$

The usual "matchstick" representation of an ordinal number can be thought of as an order-preserving injection of that ordinal into the interval [0,1]. For example, here's a representation of ...
65 views

### Initial Segment Order Isomorphic to the Ordinal Numbers

Prove that every well-ordered proper class has an initial segment order isomorphic to the ordinal numbers, ON. I have a plan to prove this but it uses a recursive definition and induction which I do ...
32 views

### Is there a difference between the order type of Q·ω and Q·Q?

From what I understand, the expression is "a countable amount of the order type of Q", which intuitively should be equal to the second expression. Is this true? How do I explain this formally? Thanks ...
55 views

### How to prove by induction that the set of all natural numbers is an ordinal

I have seen alternative methods of this proof, with one being: let $n$ be the set of all natural numbers. Then (1) $\omega$ is an ordinal, (2) If $\alpha$ is an ordinal and $\beta \in \alpha$, then ...
76 views

### Prove that $\omega + \omega_1 = \omega \cdot \omega_1 = \omega^{\omega_1} = \omega_1$

I am assuming already that a) the union of countably many countable sets is countable and b) $\omega_1$ is the least uncountable ordinal, so $x < \omega_1$ if and only if $x$ is a countable ...
95 views

### What is the cardinality of the open ordinal space $[0,\Omega)$ if we remove it's limit ordinals?

Let $\Omega$ be the first uncountable ordinal. and for any limit ordinal $\lambda < \Omega$ Let $U_\lambda$ an open neighborhood of $\lambda$ with the order topology. what is the cardinality of the ...
91 views

### Is any subset of the open ordinal space $[0,\Omega)$ $G_\delta$?

Consider the open ordinal space $[0,\Omega)$, where $\Omega$ is the first uncountable ordinal. Can I say that every subset of $[0,\Omega)$ is $G_\delta$? If yes, does this imply that $[0,\Omega)$ is ...
64 views

### What is the cardinality of all limit ordinals $\alpha$ s.t. $\alpha < 2^\mathfrak c$

Let $\Omega$ be the first ordinal with cardinality $2^\mathfrak c$. Take now the set of all ordinals $\alpha < \Omega$ which are limit ordinals. Is the cardinality of this set countable or is it ...
217 views

### Easy visualizations of small countable ordinals

The ordinal number $\omega^2$ can be visualized as $\omega$-many copies of $\omega$. Likewise, the ordinal number $\omega^3$ can be visualized as $\omega^2$-many copies of $\omega$, arranged as ...
58 views

### Generalization of simple and transfinite induction

Definition For a set of ordinals $\boldsymbol\alpha$ and ordinals $\gamma$, $\beta$, let $$\boldsymbol\alpha \xrightarrow[\gamma]{}\beta$$ symbolize the proposition that ...
111 views

### Bijection between countable ordinals and reals

The set of all countable ordinals is $\omega_1$, which has a cardinality of $\aleph_1$. When accepting the continuum hypothesis, $2^{\aleph_0} = \aleph_1$, so a bijection between countable ordinals ...
49 views

### Noninital ordinal of a set

If $\mathbb R$ is well ordered by an order $\ll$ such that the ordinal of R and that order $\alpha$ is not initial. How can I show that there is a closed interval $[a,b]$ ($a<b$) such that the ...
101 views

### Godel's pairing function and proving c = c*c for aleph cardinals

I have a few questions about Godel's pairing function and proving that c = c * c for aleph cardinals. Mostly, though, I'm concerned that most of the proofs I've seen are erroneous, and this concerns ...
127 views

### Understanding countable ordinals (as trees, step by step)

Even though ordinal numbers – considered as transitive sets – are perfect non-trees, it is worth (and natural) to visualize them as trees, starting from the finite ones which are given as ...
135 views

### Visualizations of ordinal numbers

I find this picture of the ordinal numbers up to $\omega^\omega$ rather hard to grasp: I wonder if the following might be a more compelling way to visualize ordinal numbers up to $\omega^\omega$: ...
50 views

63 views

### A representation of well-orderings?

Is there a well-ordering $P$ of the set of real numbers $\mathbb{R}$ such that there is NO function $f: \mathbb{R}->\mathbb{R}$ satisfying the property: for all $x,y \in \mathbb{R}$, $xPy$ iff ...
190 views

### Showing ordinal addition and ordinal multiplication are defined

I've been reading absoluteless results in Kunens't latest Set Theory text. After talking about $\Delta_0$ formulas and absoluteness, he mentions that certain concepts are absolute, but not $\Delta_0$. ...
52 views

### Distinguishing characteristic and spurious properties

When working in set theory with definitions of somehow primitive notions like ordered pairs (Kuratowski) or ordinal numbers (von Neumann) one is supposed to use only the characteristic properties of ...
150 views

### Two exercises on set theory about Cantor's equation and the von Neumann hierarchy

Good evening to all. I have two exercises I tried to resolve without a rigorous success: Is it true or false that if $\kappa$ is a non-numerable cardinal number then $\omega^\kappa = \kappa$, where ...
57 views

### A function on ordinals.

Denote by $L$ the set of all non-zero countable limit ordinals. Is there an injection $f\colon \omega_1\times L\to L$ such that $f(\alpha,\beta)>\beta$ for all $(\alpha,\beta)$ in the domain of ...
78 views

### Other criteria for a set to be an ordinal.

I'm reading up on ordinals, and I've come across various definitions for what it means to be an ordinal. The main book that I'm following is Kunen's Set Theory book. He defines an ordinal as a set ...
119 views

### detecting cofinality in ordinals

Suppose K is an unbounded well ordered set, and suppose K is minimal in the sense that each proper initial segment of K has strictly smaller cardinality. Suppose J is an unbounded well ordered set of ...
91 views

### What classification of countable ordinals above $\omega_1^{CK}$ exists?

What classification of countable ordinals above the Church–Kleene ordinal $\omega_1^{CK}$ exists? Are there such things as $\omega_2^{CK}$, $\omega_{\omega_\omega^{CK}}^{CK}$ or ...
### How to prove that $\text{pred}_{(A,\prec_A)}(y)=\{x\in A \,|\, x\prec_A y\}$
In Schimmerling's book on set theory, question 3.1 reads: "Let $(A,\prec_A)$ be a wellordering such that $A\neq\emptyset$. for each $y$ define \$\text{pred}_{(A,\prec_A)}(y)=\{x\in A \,|\, x\prec_A ...