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.