# Tagged Questions

Questions dealing with set-theoretic functions defined by transfinite recursion.

51 views

### Proving that Monotone Convergence implies Least Upper Bound in $\mathbb{R}$.

I tried proving that Every bounded increasing sequence converges in $\mathbb{R}$. implies that $\mathbb{R}$ has the least upper bound. Here, $\mathbb{R}$ is taken as an ordered field which ...
19 views

### Nodes equation: can't find formula.

Given the level $N$ at which a node $X$ is located in a binary tree, to search for node $X$ according to level-order traversal, we can use the knowledge of level $N$ where $X$ is located to narrow our ...
28 views

### How to iterate a function 8 times about a given interval of x in a Discrete Dynamical System

This is Dynamical Systems, specifically a discrete system. We are using L and R as in Left and Right such as: L=[0,0.5] R=(0.5,1] and LL=[0,0.25] LR=(0.25,0.5] and so on like that. We keep ...
46 views

### closed form iterated logarithms

Is there any way that we could bound the following sum by a closed form expression $\sum_{i=1}^{\log^* N} \log^{(i)}N$ where $\log^{(i)}$ is the $\log$ function iterated $i$ time? Thanks
93 views

### Is there continuous $f: [0, 1] \rightarrow [0, \infty)$ such that for all $x$ there is $y$ with $f(y) < f(x)$?

I think there isn't. Here's a sketch of a proof. I'm just not sure whether it really works because I'm not confident with the transfinite versions of the standard theorems about limits and convergent ...
948 views

### What are the most prominent uses of transfinite induction outside of set theory?

What are the most prominent uses of transfinite induction in fields of mathematics other than set theory? (Was it used in Cantor's investigations of trigonometric series?)
38 views

### Is it possible to extend the set-inclusion order of a power set to a well-ordering?

The original aim is to define recursively a function on the power set of a set such that the functional value of a subset is determined by those of its proper subsets. Thank you.
41 views

### uncountable repetitions

I have a question (or two) about recursive naming conventions. Consider the following recursive naming sequence: Base step: Let S be any nonempty set. Let x be any arbitrary element of S. Let S* be {...
77 views

84 views

### Computing the rank funciton of the Well founded universe of sets

Definitions: $(1)$ We define the $V_\alpha$ function by transfinite recursion as: $V_0=\varnothing$; $V_{\alpha+1}=P(V_\alpha)$; Lim$(\lambda)\rightarrow V_\lambda=\bigcup_{\alpha<\lambda}V_\alpha$...
42 views

56 views

### Uniqueness in transfinite recursion.

Theorem of transfinite recursion: Given a well-ordered set $A$ let $\varphi(g,y)$ be a ZF formula such that for every $a \in A$ and every function $g$ with domain $I_a$ (where $I_a$ is the initial ...
97 views

### Translation invariance of sets implies translation invariance of their generated sigma algebra?

If we have a collection of translation invariant sets (i.e. if $A$ is in the collection, then $A+x$ is in it too) - assume we have some notion of addition (e.g in a vector space). Is the generated ...
141 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 ...
373 views

### Transfinite recursion and Replacement

I have a question about the use of Replacement when proving the transfinite recursion theorem. It seems that the crucial use of Replacement is made in the step involving the set of all partial ...
72 views

236 views

### Good resource to learn transfinite induction and/or recursion?

I'm currently reading John H. Conway's On Numbers and Games, but without a good understanding of transfinite induction and/or recursion, progress is very slow. What's a good resource for learning ...
174 views

### Which ordinals embed in $2^\omega$ ordered by inclusion?

Which ordinals can be embedded in the power set of $\omega$ ordered by inclusion? I see that $\omega\cdot\omega$ can (and therefore anything less than that): we can partition $\omega$ into $\omega$ ...
241 views

### Is transfinite induction needed to remove all the elements from an uncountable set?

Given any uncountable set S, would I need to use transfinite induction to prove if I remove single elements recursively, I will be left with the empty set? It seems like this can be thought of as an ...
52 views

360 views

### Showing there is only one isomorphism between well ordered sets using transfinite induction

I need to show specifically using transfinite induction that given two well-ordered sets $\left(A,<_{1}\right)$ and $\left(B,<_{2}\right)$ there is only one isomorphism between them. To do ...
99 views

### Constructing a Bernstein set in a Polish space

I just read the proof of how to construct two Bernstein sets in a Polish space $X$ using the facts that there are at most $2^{\aleph_0}$ many closed subsets if $X$ is Polish and that every closed ...
194 views

### Question on the use of a parametric version of Transfinite Recursion Theorem in Introduction to Set Theory 3rd ed. by Hrbacek and Jech

My question concerns a proof given on page 118 in the text Introduction to Set Theory 3rd ed. by Hrbacek and Jech. The authors on page 117 prove a version of the transfinite recursion theorem (...
142 views

587 views

### When to use transfinite induction?

How do we know when we are allowed to use transfinite induction in a proof ? Edit : considering the replies i should say the following Consider an infinite sum of fractions. By induction we can ...
420 views

### Epsilon induction

I recently came upon this technique called epsilon induction, and was searching for some proof using the same. But I saw no such proof. Does someone know of any proof using this technique?
184 views

### Well ordering and maximal principle

I have to prove that given any poset $(P,\preceq)$ there exists a chain $S$ such that it is maximal (meaning that if $S\subseteq S'$ then $S=S'$). The book contains a proof using the axiom of ...
225 views

### Showing the existence of the $\omega_\omega$-th power set of $\omega$

Can you tell me if my answer is correct: Show that the set $P^{\omega_\omega}(\omega)$ exists. My answer: Let $P^0 (\omega) = \omega$, $P^{\alpha + 1}(\omega) = P(P^\alpha (\omega))$ and for a ...
483 views

### Injection from the set of countable ordinals $\Omega$ into $\mathbb{R}$

I'm reading through this and I'd like to define an injective function from the set of countable ordinals $\Omega$ into $\mathbb{R}$ using transfinite induction (or maybe transfinite recursion?). ...
4k views

### Need help with Recursion Theorem (Set Theory)

The recursion theorem In set theory, this is a theorem guaranteeing that recursively defined functions exist. Given a set $X$, an element $a$ of $X$ and a function $f\colon X \to X$, the theorem ...
Working in ZFC. I've defined a function-like binary predicate $R$ on a proper class. It has to be recursive; i.e. $R(a,b)$ must usually depend on one or more $R(c,d)$ for some $c$s and $d$s ...