CSG369, Special Topics in PL: Formal Methods
Fall 2008

Homework 2

Please hand in solutions before class on September 30th.
  1. Prove observations 5 and 11 in the odinals handout.

  2. Prove the properties of ordinal addition, multiplication, and exponentiation listed on the last three slides of the notes for lecture 4.

  3. Simplify the following expression as much as possible: 5^(w^w) + a < (w^12 + w3)^[((w^15)2 + (w^5)5)^w] + b, where w is omega, and a, b are ordinals.

Last modified: Tue Sep 23 15:36:21 EDT 2008