0.1. NOTATIO N IX denotes th e se t M K X 7 . W e will frequentl y writ e expression s o f th e for m /[[X]CJ] wher e X i s a se t an d / i s a functio n wit h domai n [X] CJ . We use the usual interval notation fo r interval s of ordinals, so, for exam - ple, i f a (3 then (a , (3) = { 7 (3 | 7 a} an d [a , (3] = { 7 (3 | 7 a}. As usual , \X\ denote s th e cardinalit y o f X , s o i f s i s a finite sequenc e then |s | denote s it s length .
Previous Page Next Page