/errata-nst

Errata for NST (Notes on Set Theory, 2nd Edition, by Y. N. Moschovakis)

MIT LicenseMIT

Errata for NST (Notes on Set Theory, 2nd Edition, by Y. N. Moschovakis)

Errata

  • ix, P3, L2: \LaTeX and should be \LateX\ and
  • 2: four "<=>" should be "<=>_def"
  • 3, mid-page math: "A --f--> B" should be "X --f--> Y"
  • 8, Def2.6: better change "since Ø = ..." to "since Ø =_c ..." to match the definition (although "=" is correct too)
  • 10, Thm2.13: delete trailing comma in sequence "(a_0, a_1, ...,)"
  • 24 (and elsewhere): some periods right after axioms/numbers are boldface, others aren't
  • 33, L5: "the fundamental theorem 2.21 of Cantor is about the set R of real numbers": it doesn't seem that way; it is about any set A; it is Corollary 2.14 that talks about R
  • 42, 4.20, L-3: decrease spacing before "!"
  • 43, Ex4.26: increase spacing around "and" and/or substitute by "&"
  • 49: problem x4.27 is marked as difficult, but it isn't; all its difficulty lies in problem x4.26 instead!
  • 54, commas after (1) and (2): one is bold, the other one isn't
  • 55, 5.8: "5.6" missing(?): compare with 5.5 in p.52
  • 56, 5.9, L9: the parenthetic text seems weird
  • 59, 5.14, L10: add more space before "by (5-6)"
  • 61, 5.18: one I.S. is "Induction step" the other one "Induction Step"
  • 63: get rid of the parentheses in cases to be consistent with p.141
  • 74, 6.7, L8: change "!) " to "!)\ " to fix sentence-ending spacing
  • 74, 6.7, L10: better end this line with ":"
  • 75, 6.10, L3: make "chain-complete" bold (consistency with previous style)
  • 75, 6.15: "6.2" should not be italics (compare with Exercise 6.4, p.73)
  • 76, 6.18: seems like \Rightarrow was used instead of \implies (spacing is too tight)
  • 76, 6.20: better use \cdots or \dotsb
  • 79, 6.28, I.S.: There is no h anywhere, so why use a prime here? Rename every h' to h
  • 81, 6.31, L-2: "f(n+1)" should be "f(n+i)"
  • 81, 6.33, (2): "divides evenly" -> "divides" ("evenly" is redundant here)
  • 85, x6.12, L-2: closing "]" missing
  • 85, 6.38, L-1: maybe replace "when" by "only when"?
  • 93, 7.20: "injection" is redundant (see Exercise 7.13)
  • 96, L-3: linebreak in math mode
  • 96, L-2: \leq should be \leq_P
  • 97, L2: \leq should be \leq_P
  • 97, L3: "need show" should be "need to show"
  • 97, 7.26, P2, L-1: "Hartogs'" should be "Hartogs's" (repeated throughout the book)
  • 195, x12.36: "fp(M)" should be "fp(F)"
  • 195, x12.39: "a cofinal" should be "a monotone cofinal" (?)
  • 249: change non-bold periods after exercise numbers to bold (repeated throughout)
  • 249, 2.20, L2&L9: delete commas
  • 253, 4.23, L4: "are mutually exclusive": the way h is defined the cases are always mutually exclusive (because of the "otherwise ...")
  • 256, 6.12, P2: maybe add a "by exercise 6.11" here (?)
  • 257, 6.20: change "max_P(...)" to "max_P{...}"
  • 259, 7.10: "(in fact it is a similarity)": the term "similarity" has not been defined yet (it is defined at 7.11)

Index additions

  • grounded poset
  • predecessor
  • successor