Results 1 to 1 of 1

Math Help - Ordinals

  1. #1
    Newbie
    Joined
    Nov 2009
    Posts
    7

    ordinals

    Prove that the subtraction operation for ordinal numbers coincides with the following operation defined by recursion:
    α -* α=0
    β+ -* α=(β-* α)+ for α ≤ β
    γ-* α=sup{β-* α:β < γ} when γ is alimit.
    Last edited by Fibon; November 24th 2009 at 12:38 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. examples, sequences of ordinals
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: April 8th 2010, 07:56 AM
  2. [SOLVED] von Neumann Ordinals
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 19th 2010, 12:08 PM
  3. Countable ordinals
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 5th 2010, 02:54 PM
  4. Help with ordinals
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 25th 2009, 09:29 PM
  5. Ordinals
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 12th 2009, 08:50 PM

Search Tags


/mathhelpforum @mathhelpforum