# Tagged Questions

2answers
53 views

### How come that two inductive subsets can be different

In Enderton's "Mathematical Introduction To Logic". Author says that if we have two operations $f(x,y)$ and $g(x)$ and two sets $B$ and $U$ such that $B \subseteq U$. We say that $S \subseteq U$ is ...
0answers
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 ...
1answer
49 views

### Inductive definition with choice for sequence

In topology there is a very common way to define a sequence. This usually go something like: "Define $\{z_{n}\}$ to be a sequence such that $z_{0}$ is <blah blah blah>, and $z_{n}$ is such that ...
2answers
130 views

5answers
402 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 ...
2answers
510 views

### set-theoretic function definition; recursion theorem

I am an undergraduate student, currently studying axiomatic set theory (I am reading Halmos' Naive Set Theory as an overview, and consulting other sources recommended to me to supplement the sparser ...
2answers
280 views

### Does the principle of mathematical induction extend to higher cardinalities?

Does the principle of mathematical induction extend to a cardinality larger than that of the countably infinite?
2answers
216 views

### Strict ordering on natural numbers

I'm studying on K. Hrbacek and T. Jech, Introduction to Set Theory. In the third chapter, they prove the usual properties of the strict ordering on natural numbers in the following way: They prove ...