Explore BrainMass

Explore BrainMass

    Ordinal Subtraction Defined by Recursion

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    Please see the attached problem. I have attached some notes in case these are needed.


    Proposition 2.7.9: For any pair of ordinals alpha and beta such that alpha <= beta, there is a unique ordinal gamma such that alpha + gamma = beta, so we can write (unambiguously) gamma = beta - alpha when beta >= alpha.


    The given ordinal subtraction operation (defined by recursion):

    alpha - alpha = 0

    (beta^+) - alpha = (beta - alpha)^+

    gamma - alpha = sup{beta - alpha: beta < gamma} when gamma is a limit ordinal.

    © BrainMass Inc. brainmass.com October 10, 2019, 12:14 am ad1c9bdddf


    Solution Preview

    Please see the attached file for a solution to the problem.


    Update: As you will see in the .pdf file that contains your Notes, the process of taking proofs that break down into the "0 case", the "successor case", and the "limit ordinal case" is known as ...

    Solution Summary

    A complete, detailed proof that the given ordinal subtraction operation (defined by recursion) coincides with the definition of ordinal subtraction given in Proposition 2.7.9 is provided.