Prove a set is wellordered
Let $FS(α, β) ⇋ { f  f : β>α & Fin( {γ  γ ∈ β & not( f(γ) = 0 ) })}$ for all ordinals α, β,
where Fin(A) means the set A is finite.
We define a relation ≺ on FS: $f ≺ g ←→ (∃γ < β)( f(γ) < g(γ) & (∀δ < β)( γ < δ ⇒ f(δ) = g(δ)))$.
How to prove that (FS, ⪯) is wellordered?
Answer
Answers can be viewed only if
 The questioner was satisfied and accepted the answer, or
 The answer was disputed, but the judge evaluated it as 100% correct.
Alessandro Iraci
1.6K

On the second step of the induction you mean FS(L, B) = FS(L, Г) x L are isomorphic right?

Yes, exactly.
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to 50% commission on every question your affiliated users ask or answer.
 answered
 408 views
 $10.00
Related Questions
 Number of Combinations Created from Restricting a Set
 What is the asymptotic density of $A$ and $B$ which partition the reals into subsets of positive measure?
 Proof through inclusion (A∆B) ∪ A = A ∪ B
 What is the Lebesgue density of $A$ and $B$ which answers a previous question?
 Find a system consisting of two sets, neither of which is a subset of the other
 Discrete Math/ Set theory Question
 Set problem. Need it well written...
 InclusionExclusion and Generating Function with Coefficient (and Integer Equation)