2.II.16H

Logic and Set Theory | Part II, 2006

Which of the following statements are true, and which false? Justify your answers.

(a) For any ordinals α\alpha and β\beta with β0\beta \neq 0, there exist ordinals γ\gamma and δ\delta with δ<β\delta<\beta such that α=β.γ+δ\alpha=\beta . \gamma+\delta.

(b) For any ordinals α\alpha and β\beta with β0\beta \neq 0, there exist ordinals γ\gamma and δ\delta with δ<β\delta<\beta such that α=γβ+δ\alpha=\gamma \cdot \beta+\delta.

(c) α(β+γ)=αβ+αγ\alpha \cdot(\beta+\gamma)=\alpha \cdot \beta+\alpha \cdot \gamma for all α,β,γ\alpha, \beta, \gamma.

(d) (α+β)γ=αγ+βγ(\alpha+\beta) \cdot \gamma=\alpha \cdot \gamma+\beta \cdot \gamma for all α,β,γ\alpha, \beta, \gamma.

(e) Any ordinal of the form ω.α\omega . \alpha is a limit ordinal.

(f) Any limit ordinal is of the form ω.α\omega . \alpha.

Typos? Please submit corrections to this page on GitHub.