Let $\alpha,\gamma$ be ordinals and $A$ be a set of ordinals. Then $\gamma<\alpha+\sup_{\beta\in A}\beta\implies\exists\beta\in A:\gamma<\alpha+\beta$

score 170 · Answer 15 · 2026-04-11 13:18:07

A question about the proof of $\sup\{\alpha^\beta\alpha^\delta\mid\delta<\gamma\}=\alpha^\beta\sup\{\alpha^\delta\mid\delta<\gamma\}$

List Question

Is ordinal multiplication commutative?

Are the epsilon numbers the ones greater than $\omega$ unreachable from below with exponentiation?

Is there a proper class $X$ such that $X\subsetneq \operatorname{Ord}$?

The sum of two well-ordered sets is isomorphic to the sum of corresponding ordinals

If $\alpha_1,\alpha_2,\beta$ are ordinals, then $\alpha_1<\alpha_2\iff \beta+\alpha_1<\beta+\alpha_2$

$(\alpha+\beta)+\gamma=\alpha+(\beta+\gamma)$ for all ordinals $\alpha,\beta,\gamma$

The reasoning behind $\sup\{\alpha\beta+\alpha\zeta\mid\zeta<\gamma\}=\alpha\beta+\sup\{\alpha\zeta\mid\zeta<\gamma\}$

How to prove $\sup\limits_{\delta<\gamma}(\alpha+(\beta+\delta))=\sup\limits_{\epsilon<\beta+\gamma}(\alpha+\epsilon)$

Can the function $S(\alpha)$ have a fixed point ordinal?

Let $α$ be an ordinal and $A$ be a set of ordinals. Then $\sup\limits_{β∈A} (α+β) = α+\sup\limits_{β∈A}(β)$

Let $\beta=\sup\limits_{\nu<\gamma}\beta_\nu$. How do the authors prove $\alpha+\beta=\sup\limits_{\nu<\gamma}(\alpha+\beta_\nu)$?

A logical gap in the proof of $\sup\limits_{\beta\in A}(\alpha+\beta)=\alpha+\sup\limits_{\beta\in A}(\beta)$

Let $\alpha,\beta$ be ordinals. Then the lexicographic ordering of $\alpha\times\beta$ has order type $\beta\cdot\alpha$

Let $\alpha,\gamma$ be ordinals and $A$ be a set of ordinals. Then $\gamma<\alpha+\sup_{\beta\in A}\beta\implies\exists\beta\in A:\gamma<\alpha+\beta$

A question about the proof of $\sup\{\alpha^\beta\alpha^\delta\mid\delta<\gamma\}=\alpha^\beta\sup\{\alpha^\delta\mid\delta<\gamma\}$

Trending Questions

Popular # Hahtags

Popular Questions